次の文字列を受け入れる有限オートマトンを描画する必要があります
Λ, a, aabc, acba and accb
私の見解 では、文字列がから始まり、空の文字列も含まれているためa(a+b+c)*、これは正規表現である可能性があります。a
今、下の画像のようにFAを描くロジックが見つかりませんでした
質問 1:a FA で文字列が then で始まる場合、読みながらxto に移動します
なぜここで読まないのですか?yba
質問 2:なぜ a,b on state のループを使用しy、z
言語L = {λ, a, aabc, acba, accb} は有限です。したがって、Lは正規表現 a(a + b + c) の Kleene 閉包によって表される言語と等価ではなく、無限です。有限言語を受け入れる非決定論的有限オートマトンを生成する単純なアルゴリズムがあります。これは、言語の各文字列を受け入れる描画パスで構成されます。
図のオートマトンはどちらの言語も受け入れないため、2 つの言語と元の投稿の図との関係がどのようなものかは不明です。ノードに名前のラベルが付けられ、丸で囲まれたノードが受け入れを示すと仮定すると、図のオートマトンによって受け入れられる言語は (a + b)* です。この場合、ループは (a + b) の Kleene 閉包を受け入れるために使用されます。とはいえ、図の意味を明確にしていただけると助かります。