三上下文无关语法.pptVIP

1 计算理论 2 主要内容 2.1 上下文无关文法概述 2.1.1 上下文无关文法的形式化定义 2.1.2 上下文无关文法举例 2.1.3 设计上下文无关文法 2.1.4 歧义性 2.1.5 乔姆斯基范式 2.2 下推自动机 2.2.1 下推自动机的形式化定义 2.2.2 下推自动机举例 2.2.1 与上下文无关文法的等价性 2.3 非上下文无关语言 3 上下文无关文法 (CFG) 概述 A  0A1 A  B B  # 变量 (Variables) A, B 终止符 (Terminals) 0,1,# 起始变元 (Start Variable) A 箭头的左侧只有一个变量 替换规则又称为产生式 4 如何利用 CFG 产生字符串 A  0A1 A  B A  # 获取一个字符串的替换过程叫派生。 例如字符串 000#111 的过程如下： A  0A1  00A11  000A111  000B111  000#111 (1) 写下起始变元——第一条规则左边的变元。 (2) 取一个已写下的变元，并找到以该变元开始的规则，把这个变元替换成规则右边的字符串。 (3) 重复步骤2，直到写下的字符串没有变元。 5 如何利用 CFG 产生字符串 A  0A1 A  B A  # 可以