形式语言与自动机理论——上下无关语言

上下无关语言CFL

1.上下无关文法CFG

独有的性质：

语法树

二义性

推导

归约

计算机编程语言

化简：

去无用符号

不可以到达终极符

不出现在产生式右侧的非终极符

去空产生式

去单一产生式组

消除左递归

2.识别器：下推自动机PDA

基本定义：七元组，比DFA多了栈符号表和栈底符号

即时描述

用空栈接受

用终态接受

3. 性质

泵引理：只能判断不是这种语言

封闭性：

并

乘积

闭包

代换

同态

语言判定算法：

是否为空

有穷无穷

符号串是否语言的一个句子