問題タブ [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.
c++ - C++ での NFA から DFA への実装
タイトルがすべてを物語っています。アイデアが必要です。nfa 入力は次のようになり、イプシロンの動きはありません。
など、1 と 2 が最終状態であり、'a' を使用して状態 0 から状態 2 に到達できることを意味します。
私が使う
ここで、v[i] は状態 i から移動できるすべてのウェイを含むベクトルです。 次のような状態のマルチセットがある場合に、新しい状態に名前を付ける方法についてのアイデアが必要です
状態 123 などを作成できないためです。 また、マルチセットがすでに状態に変換されているかどうかを確認するにはどうすればよいですか?