DFAシミュレーターを作っています。
ノード 0 が初期状態でノード 3 が最終状態の場合、重みグラフの実装と同様です。
char CurrentStateAccept[stateN][alphabetN][alphabetN] = { {"01"} , {"0"} , {"0","1"} ,{} }; // 0, 1, 2, 3
int NextState[stateN][alphabetN] = {{1},{2},{0,3},{}};
1、1、2、0を取得したい
- ノード 0、受け入れる (0 または 1) -> ノード 1
- ノード 1、accept(0) -> ノード 2
- ノード 2、accept(0) -> ノード 0
- ノード 2、accept(1) -> ノード 3
- ノード 3 は dfa の最終状態です。
だから私は 'forループ'を使用するためのchar CurrentStateAccept [各状態]の要素番号を取得したい ex)
for(i=0; i<currentState element num; i++)
{
for(j=0; j<end of alphabet of each element; j++)
{
there is acceptable state? or not?
}
}
どうすれば C に入ることができますか?