スタック

本シリーズでは、以下の本に沿って解説を書いている。 前回は、\(uvwxy\)定理、あるいは反復補題と呼ばれる内容を解説した。 これを使えば、全てではないがある言語が文脈自由言語でないことを示せるようになる。 幾つか具体的に練習して、使える...