State Complexity of Projected Languages (Q5200092): Difference between revisions

@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata and unary languages
@@ Property / cites work: Finite automata and unary languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the computation of natural observers in discrete-event systems
+Normal rank
@@ Property / cites work @@
+Compositional Verification in Supervisory Control
@@ Property / cites work: Compositional Verification in Supervisory Control / rank @@
+Normal rank
@@ Property / cites work @@
+Magic numbers in the state hierarchy of finite automata
+Normal rank
@@ Property / cites work @@
+THE MAGIC NUMBER PROBLEM FOR SUBREGULAR LANGUAGE FAMILIES
+Normal rank
@@ Property / cites work @@
+Q3102144
@@ Property / cites work: Q3102144 / rank @@
+Normal rank
@@ Property / cites work @@
+Tight bounds on the number of states of DFAs that are equivalent to \(n\)-state NFAs
+Normal rank
@@ Property / cites work @@
+A family of NFAs which need 2\(^{n}-\alpha\) deterministic states
+Normal rank
@@ Property / cites work @@
+DETERMINISTIC BLOW-UPS OF MINIMAL NONDETERMINISTIC FINITE AUTOMATA OVER A FIXED ALPHABET
+Normal rank
@@ Property / cites work @@
+Q4779161
@@ Property / cites work: Q4779161 / rank @@
+Normal rank
@@ Property / cites work @@
+On the State Complexity of Complements, Stars, and Reversals of Regular Languages
+Normal rank
@@ Property / cites work @@
+Magic Numbers and Ternary Alphabet
@@ Property / cites work: Magic Numbers and Ternary Alphabet / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control synthesis of discrete-event systems using a coordination scheme
+Normal rank
@@ Property / cites work @@
+Modular Control of Discrete-Event Systems With Coalgebra
+Normal rank
@@ Property / cites work @@
+Q5554980
@@ Property / cites work: Q5554980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586371
@@ Property / cites work: Q5586371 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Bounds for State-Set Size in the Proofs of Equivalence Between Deterministic, Nondeterministic, and Two-Way Finite Automata
+Normal rank
@@ Property / cites work @@
+Q4390537
@@ Property / cites work: Q4390537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727828
@@ Property / cites work: Q3727828 / rank @@
+Normal rank