タイトルがすべてを物語っています。アイデアが必要です。nfa 入力は次のようになり、イプシロンの動きはありません。
1 2
0 a 2
1 b 3
など、1 と 2 が最終状態であり、'a' を使用して状態 0 から状態 2 に到達できることを意味します。
私が使う
struct nod
{
int ns;
char c;
};
vector<nod> v[100];
ここで、v[i] は状態 i から移動できるすべてのウェイを含むベクトルです。 次のような状態のマルチセットがある場合に、新しい状態に名前を付ける方法についてのアイデアが必要です
0 a 1
0 a 2
0 a 3
状態 123 などを作成できないためです。 また、マルチセットがすでに状態に変換されているかどうかを確認するにはどうすればよいですか?