状態をあらわす　その２

勉強不足を痛感し、オートマトンの本なんぞ開いてみました。
で、下のような図がでてきました。



内部状態をq0,q1
入力記号はa,b

内部状態q0,q1の集合{q0, q1}は、Q
記号a,bの集合{a, b}は、Σ

入力記号が与えられたときに、矢印の状態に移ります。
状態の遷移は、内部状態と…