入力記号，出力記号の集合が｛0，1｝であり，状態遷移図で示されるオートマトンがある。 0011001110 を入力記号とした場合の出力記号はどれか。ここで，S₁ は初期状態を表し， グラフの辺のラベルは，入力/出力を表している。

〔状態遷移図〕　　　

S1 の初期状態から 0 が入力されると 0 が出力される。 これを繰り返すと図のようになる。