状態遷移図
S0, S1, S2 は状態である。各エッジに付記されているラベルを "j / k" とすると、 jは入力を表し k は出力を表す。