pda

講座系

オートマトン・言語と計算理論「プッシュダウンオートマトンの設計」

本シリーズでは、以下の本に沿って解説を書いている。 前回はプッシュダウンオートマトンという新しいものを解説した。 以前の有限オートマトンとは似て非なるものなので、しっかり区別して進めていこう。 参考書の定義から少...
講座系

オートマトン・言語と計算理論「プッシュダウンオートマトン」

本シリーズでは、以下の本に沿って解説を書いている。 前回は、\(uvwxy\)定理、あるいは反復補題と呼ばれる内容を解説した。 これを使えば、全てではないがある言語が文脈自由言語でないことを示せるようになる。 幾...
スポンサーリンク
タイトルとURLをコピーしました