Failure-Tolerant Sequential Machines with Past Information
Yoshihiro Tohma, 青柳 茂 · IEEE Transactions on Computers · 1971
A sequential machine must have certain redundant information in order to be capable of correcting error. As past inputs and past states are redundant, a sequential machine with error correction capability is constructable by making use of these elements of past information. This paper describes conditions of state assignments, numbers of required redundant state variables, and estimation of reliability of failure-tolerant sequential machines.