Acyclic automata and small expressions using multi-tilde-bar operators (Q1959650): Difference between revisions

@@ Property / cites work @@
+Q5536277
@@ Property / cites work: Q5536277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3283892
@@ Property / cites work: Q3283892 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Matrices and the Stability of Neural Nets
@@ Property / cites work: Boolean Matrices and the Stability of Neural Nets / rank @@
+Normal rank
@@ Property / cites work @@
+FROM C-CONTINUATIONS TO NEW QUADRATIC ALGORITHMS FOR AUTOMATON SYNTHESIS
+Normal rank
@@ Property / cites work @@
+Follow automata.
@@ Property / cites work: Follow automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation and Application of Automata
@@ Property / cites work: Implementation and Application of Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Obtaining shorter regular expressions from finite-state automata
+Normal rank
@@ Property / cites work @@
+Q5437181
@@ Property / cites work: Q5437181 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular expression for a language without empty word
+Normal rank
@@ Property / cites work @@
+Q4910730
@@ Property / cites work: Q4910730 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Automata, Digraph Connectivity, and Regular Expression Size
+Normal rank
@@ Property / cites work @@
+Characterization of Glushkov automata
@@ Property / cites work: Characterization of Glushkov automata / rank @@
+Normal rank
@@ Property / cites work @@
+A New Family of Regular Operators Fitting with the Position Automaton Computation
+Normal rank
@@ Property / cites work @@
+Multi-tilde Operators and Their Glushkov Automata
@@ Property / cites work: Multi-tilde Operators and Their Glushkov Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank