問題タブ [automata-theory]

たとえば、係数 n が k である整数を見つけることは、有限状態マシンに適切にマッピングされ、決定論的文法を解析するためのオートマトンの作業をうまく押し下げることを知っています。チューリングマシンにそのような問題があるのではないかと思っていました。

こんばんは、次の正規表現で行き詰まっています。

私よりもずっと簡単な表現方法があると思いますが、

正規表現と、アルファベット {a,b} から始まり、b で始まり、b で終わり、偶数の a を持つすべての文字列を受け入れる dfa を書き留める必要がありました。

私の試みはケースに入っていましたが、結果はあまり良くありませんでした:

私はこのようなことを試しました：bb*(アバ)*(aab)*(aa)*(aab)*(アバ)*b*b

しかし、これは完全ではないと思います。

このタスクを達成するには、いくつかの一般的なルールに従う必要がありますか? それとも、正規表現を練習する必要がありますか?

ありがとう、ヒントや助けをいただければ幸いです。

私はこの単純なオートマトンを持っています:

次に、システムを作成します。

アーデンの定理を使用して、式を単純化できます。

それで ：

間違っているようですが、理由がわかりません。どこが間違っているのか誰か説明してもらえますか?

この正規表現がチェーンを受け入れる条件は何ですか?