有限オートマトン

要点

1. S2へは「1でS1、そこから0」で入る。
2. オートマトンの問題は初期状態から鉛筆で状態を書き換えな。
3. 表は、ある決定性有限オートマトンの状態遷移を示す。
4. 遷移は現状態と入力の組で一意に決まる。
5. 最後の状態が受理状態S2なので、この文字列は受理される。
6. 初期状態はS0、受理状態はS2であり、入力記号を左から順に読んで最後の状態が受理状態なら文字列を受理する。