スタック

講座系

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

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