図で表される有限オートマトンで受理される文字列はどれか。 ここで，は初期状態を， は受理状態を表す。

アからエをそれぞれ実行すると次の図のようになる。