Title :
Inessential Errors in Sequential Machines
Author :
Harlow, Charles ; Coates, C.L., Jr.
Author_Institution :
IEEE
fDate :
6/1/1971 12:00:00 AM
Abstract :
Hartmanis and Stearns defined the concept of an inessential error in their study of errors in sequential machines and represented such errors by means of an error partition Π E. Although they showed that ΠE could not be determined using only the usual partition pair algebras, they did not provide a means by which it could be determined. The purpose of this note is to develop an algorithm for the determination of ΠE for a given machine.
Keywords :
Error partition, inessential error, ΠE, sequential machines.; Algebra; Automata; Counting circuits; Delay; Feedback; Helium; Partitioning algorithms; Upper bound; Error partition, inessential error, ΠE, sequential machines.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/T-C.1971.223328