オートマトンと形式言語

質問

オートマトンの問題で受理される語をどう答えていいかわかりません
状態変異図を見て判断するんですか？
例えば下の有限オートマトンによって受理される言語L(M)を示せ
という問題では答えはL(M)={ω∈{a}*|ωは3の倍数個のaからなる
語}になります。

回答No.1

f272

状態変異図を見ればわかるでしょう。