下図の非決定性有限オートマトンが受理するすべての文字列を表す正規表現はどれか。
ただし、入力される文字列のアルファベットは {a,b},εは空列とし、正規表現において、
r*はrの0回以上の繰り返し、(r1|r2)は選択を表す。

@ (a|b)*
A (a|ba)*
B a*|(ba)*
C a*ba(ba)*
D a*|((ba)(ba)*)
@aaa bbbなどが表現できるが、bbbを受理しない。
ABが同じようだが、初期状態から受理状態になるεが
あるのでAが正解。
Caaが受理できるが、これを表現できない。
Dbaのあとに(ba)*がなかった場合、初期状態に戻る。
EXCELのマクロのご相談なら ファーストマクロ へ
タグ:技術士第一次試験問題 オートマトン