Alapfogalmak
コンテキストフリー言語におけるポンピング補題の重要性と応用に焦点を当てる。
Kivonat
著者がコンピュータサイエンスの学生向けにセミナーを行った後、コンテキストフリー言語(CFL)とそれらを生成する文法(CFG)の主な特性、特にポンピング補題(PL)について紹介される。
チョムスキーやシュッツェンベルガーの初期作品への参照がある。
文法GがCFGであるための条件や、CFG ⊅= {正規文法}であることが示されている。
導出木やCNFなど、CFLと文法に関連する概念が詳細に説明されている。
ポンピング補題やその証明方法、さらにCFLのクロージャーや決定可能性についても述べられている。
Statisztikák
2N < z ≤22N, always from PL, the language is infinite (because it contains infinite strings uviwxiy), and so, as previously, it is enough to consider derivations of length no geater than 22(N+1) −1, whose number is upper bounded by |P| · 22N+1.
Let L be a CFL; we can suppose {ǫ} ̸= L ̸= ∅otherwise the thesis is trivially verified.
Idézetek
"Given a CFL it is decidable to establish if it is (1) empty, or (2) infinite, and so if it is (3) finite and if (4) a given word belongs to it or not." - Theorem 5.3