Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata

Natalia Kushik, Nina Yevtushenko. Describing Homing and Distinguishing Sequences for Nondeterministic Finite State Machines via Synchronizing Automata. In Frank Drewes, editor, Implementation and Application of Automata - 20th International Conference, CIAA 2015, UmeƄ, Sweden, August 18-21, 2015, Proceedings. Volume 9223 of Lecture Notes in Computer Science, pages 188-198, Springer, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.