This paper is concerned with formal derivation of generalized setting (excitation) equations of the flip-flop memory elements of a sequential machine. The equations are expressed in terms of four normalized transition ...