Title :
A Matrix Method for Determining All Pairs of Compatible States of a Sequential Machine
Author_Institution :
Department of Mathematics, University of Bucharest
fDate :
5/1/1972 12:00:00 AM
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.
Keywords :
Boolean matrix, compatible states, sequential machine.; Algorithm design and analysis; Automata; Mathematics; Terminology; Boolean matrix, compatible states, sequential machine.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/T-C.1972.223550
