Since 2016.4.19
次の状態遷移図で表現されるオートマトンで受理されるビット列はどれか。ここで、ビット列は左から順に読み込まれるものとする。
ア 0000
イ 0111
ウ 1010
エ 1111
ウ
状態遷移図の左の○から順に @ABと表現すると ア 0000 ⇒ @@@@ イ 0111 ⇒ @AAA ウ 1010 ⇒ ABBB (受理) エ 1111 ⇒ AAAA となり、受理ビット列は ウ となる。