文脈自由言語

文脈自由言語は、プッシュダウン・オートマトンによって認識することができる。

数学的モデルにおいて、括弧の対応関係などは文脈自由言語の代表例だ。

彼は文脈自由言語の限界について、反復補題を用いて証明した。