2.3 Non-Context-Free Languages
Q：如何证明一个language不是context-free language？
A：证明它违背了pumping lemma for context-free languages是一个常用方法。（反证：假设是cfl，则寻找一个p，使得不满足pumping lemma）
定理（Pumping lemma for context-free languages）
一个context-free string必然可拆解成一个带两环的形式，将两环进行任意次循环后的string都依然是context-free string。