Abstract:
In this note a matrix method is given that enables one to determine all pairs of compatible states in the case of incompletely specified sequential automata.Metadata
Abstract:
In this note a matrix method is given that enables one to determine all pairs of compatible states in the case of incompletely specified sequential automata.
Published in: IEEE Transactions on Computers ( Volume: C-21, Issue: 5, May 1972)