nfa

本シリーズでは、以下の本に沿って解説を書いている。 前回は、ある言語が正規表現で生成可能なら、それを認識するような\(\varepsilon\)nfaが存在することを示した。 こちら側はそこまで難しくなく、理解もしやすかったと思う。 以下が...

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