上下文无关文法：
下推自动机：
定理：下推自动机接受的语言正好是上下文无关语言。
引理：每一个上下文无关语言都被一台下推自动机接受。
引理：如果一个语言被一台下推自动机接受，则它是上下文无关语言。
确定型上下文无关语言：