問題タブ [automata-theory]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
1 に答える
1004 参照

finite-automata - 2 つの 0 が長さ 4i、i>=0 の文字列で区切られるように、{0,1} に対して nfa 出現文字列を構築します。

与えられた画像には、質問に対する私の解決策がありますが、これは間違っていますこれは 0(mod 4) の形式であるため、最初に長さ 4i の文字列の NFA を設計することで、この問題を解決しようとしています。

状態の数 = 4 で、このデザインの両端に 1 つずつ、2 つの他の状態を追加し、0 で遷移を行ったので、状態の数 = 6 になりました。チェックしようとしたとき、私の解決策は間違っています。誰かが私が間違っている場所を説明できますか?