ミーリ・マシン
このマシンは 1クロック遅延マシンであり、入力 x0x1...xn に対して、0x0x1...xn-1 という出力を生成する。開始状態は S0 である。
↑ 訳すならば、順序回路合成の一手法、となるだろうか。