Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata (Q2947421): Difference between revisions

@@ Property / cites work @@
+Q4234083
@@ Property / cites work: Q4234083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509690
@@ Property / cites work: Q5509690 / rank @@
+Normal rank
@@ Property / cites work @@
+The relation between preset distinguishing sequences and synchronizing sequences
+Normal rank
@@ Property / cites work @@
+Theory Is Forever
@@ Property / cites work: Theory Is Forever / rank @@
+Normal rank
@@ Property / cites work @@
+In extremal combinatorial problem associated with the bound on the length of a synchronizing word in an automaton
+Normal rank
@@ Property / cites work @@
+Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines
+Normal rank
@@ Property / cites work @@
+On the Length of Homing Sequences for Nondeterministic Finite State Machines
+Normal rank
@@ Property / cites work @@
+On the complexity of existence of homing sequences for nondeterministic finite state machines
+Normal rank
@@ Property / cites work @@
+Testing finite-state machines: state identification and verification
+Normal rank
@@ Property / cites work @@
+Q3115697
@@ Property / cites work: Q3115697 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632473
@@ Property / cites work: Q5632473 / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronizing Automata and the Černý Conjecture
@@ Property / cites work: Synchronizing Automata and the Černý Conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457912
@@ Property / cites work: Q4457912 / rank @@
+Normal rank