εnfa

本シリーズでは、以下の本に沿って解説を書いている。 前回は、nfaと\(\varepsilon\)nfaで認識できる言語に差がないことを示した。 これで、dfa、nfa、\(\varepsilon\)nfaの3つそれぞれで認識できる言語に差...

本シリーズでは、以下の本に沿って解説を書いている。 前回は、またしても新しい有限オートマトンである\(\varepsilon\)入力付き非決定性有限オートマトンを解説した。 状態遷移でこれまでに使っていなかった様相やステップといった概念を導...