Abstract:
Various methods of introducing redundancy into a finite automaton for the purpose of raising its reliability are considered. The method of hammock-form circuits of Moore and Shannon is compared with the method of minimal bracket forms. We also compare the latter with the combinational method of symmetric lattices, which arises naturally in the noise-immune coding of the automaton states in connection with hammock-form circuits. Conditions are found under which one method is preferable to the other.
Fulltext:
PDF file (769 kB)