Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)
Hi-index | 14.98 |
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.