Diagnosis of technical states of discrete devices with memory. I. Decoding the experiment results

A method is suggested for determination of possible stable constant faults in discrete sequential circuits by their known behaviour at a given input sequence. The method does not impose any limitations upon the basis of circuits and employs its structural representation in the form of Haffman's model. The method rests upon $\alpha$-state calculus.