有限オートマトンが受け入れる言語の正規表現を見つける

開始状態と終了状態の両方が であると仮定すると-、有限オートマトンは次のような文字列を受け入れます。
ab
aab
abb
aabb
aabbaaabbb
abaabbaaabbb
aaaabbbb
bbaaabbbaab
so on..
startオートマトンによって受け入れられる文字列は、end状態に基づいて変化することに注意してください。しかし、あなたは自分自身を理解することができます。
上記のパターンに基づいて、おそらく正規表現を生成できます。そんなに大変じゃないです。
(-)状態が終了状態の場合:
b*(a+b+)*
(+)状態が終了状態の場合:
b*(a+b+)*a+