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.
[1] F. Hennie. Analysis of Bilateral Iterative Networks , 1959 .
[2] David A. Huffman,et al. The synthesis of sequential switching circuits , 1954 .
[3] Edward F. Moore,et al. Gedanken-Experiments on Sequential Machines , 1956 .
[4] N. Rouche. Some Properties of Boolean Equations , 1958, IRE Trans. Electron. Comput..