Canonical Forms for Information-Lossless Finite-State Logical Machines

An important class of finite-state machines transforms input sequences of digits into output sequences in a way such that, after an experiment of any finite length on the machine, its input sequences may be deduced from a knowledge of the corresponding output sequence, its initial and final states, and the set of specifications for the transformations by which the machine produces output sequences from input sequences. These machines are called "information-lossless." Canonical circuit forms are shown into which any information-lossless machine may be synthesized. The existence of inverses for these circuits is investigated; and circuits for their realization are derived.