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

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

(点击清晰图)点击清晰图

形式语言与自动机理论——上下无关语言_第1张图片

你可能感兴趣的:(形式语言与自动机理论——上下无关语言)