Seven-valued modeling of dead-beat automata

An alphabet of seven characters is introduced. Substitution of a seven-valued vector in a system of Boolean functions is defined. The procedure of seven-valued modeling is discussed for a dead-beat automaton and the potential of this procedure in diagnosis are discussed. An example is provided of seven-valued modeling for a deadbeat automaton described by a DNF system.