Existence Algorithms for Synchronizing/Distinguishing Sequences | IEEE Journals & Magazine | IEEE Xplore

Existence Algorithms for Synchronizing/Distinguishing Sequences


Abstract:

This correspondence describes two efficient algorithms for determining whether or not a given finite-state machine has a synchronizing sequence and a distinguishing seque...Show More

Abstract:

This correspondence describes two efficient algorithms for determining whether or not a given finite-state machine has a synchronizing sequence and a distinguishing sequence, respectively, and compares them with the well-known tree method. Compared with the tree method, these new algorithms are easier to implement and require less memory size. Since they do not require keeping and searching a look-back directory, they allow significant speed improvements.
Published in: IEEE Transactions on Computers ( Volume: C-30, Issue: 3, March 1981)
Page(s): 234 - 237
Date of Publication: 31 March 1981

ISSN Information:


References

References is not available for this document.