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

上下无关语言CFL
  1.上下无关文法CFG
    独有的性质：
      语法树
        二义性
        推导
        归约
      计算机编程语言
    化简：
      去无用符号
          不可以到达终极符
          不出现在产生式右侧的非终极符
      去空产生式
      去单一产生式组
      消除左递归
  2.识别器：下推自动机PDA
    基本定义：七元组，比DFA多了栈符号表和栈底符号
    即时描述
      用空栈接受
      用终态接受
 3. 性质
    泵引理：只能判断不是这种语言
    封闭性：
      并
      乘积
      闭包
      代换
      同态
    语言判定算法：
      是否为空
      有穷无穷
      符号串是否语言的一个句子

（点击清晰图）点击清晰图