オートマトン

質問

教えてください
以下の状態遷移図で表されるオートマトンM
を形式的な5字組で示したらどうなりますか

回答No.1

f272

({q0,q1,q2,q3},{a,b,ε},δ,q0,{q3})だよね。
ただしδは以下のとおり。
______a______b_______ε
→q0__{ｑ2}___φ______{ｑ1}
q1____φ______φ______{ｑ2}
q2____φ_____{q1,q3}__φ
*q3___φ______φ______φ