上下文无关以及下推自动机.pdf

上下文无关语言 Context-free Languages 中山大学杨超 yangch8@mail.sysu.edu.cn 一、上下文无关的语法 Context-free Grammars ● 下面我们用语法来定义串和语言。 一个语法( 文法) 是由一系列的替换规则构成。 如有一个语法由下面三个规则构成 A → 0A A → B B → # ● 这个语法中，A,B 是变量( 非终结符) ，其中A 是开始变量。0,1,# 是字母( 终结符). ● 刚才的例子也可以简记为： A → 0A1 | B B → # ● 日常语言的句子也可以用类似的替换规则构成： 句子 → 主语 谓语 主语 → 名词 | 复合名词 复合名词 → 冠词 名词 谓语 → 动词 名词 → dog 冠词 → a | the 动词 → bark | bite ● 一个语法由四部分要素构成： (1) 有限个变量的集合 V (2) 有限个字母的集合( 字母表) (3) 有限个规则的集合 R (4) 一个开始变量 S ∈ V G = V ,  , R , S  ● 假设u,v 和w 是由变量和字母构成的串， A → w 是一条规则。 ● 那么 uAv 由这条规则可以生成( 派生) 出 uwv ，我们记作 uAv ⇒ uwv ● 更一般地，若 u ⇒ u ⇒ u ⇒ ... ⇒ u ⇒ v 1 2 k ∗ ● 我们记为 u ⇒ v ∗ ∗ ● 由语法G 定义的语言 L ={w ∈ |S ⇒ w } ● 例：语法 G ={S }, {a , b }, R , S  其中R 是 S  aSb |SS | ● 例：G = V ,  , R , S  V={ EXPR, TERM, FACTOR }  ={a , , × , , } ● R: EXPR → EXPR+TERM | TERM TERM → TERM x FACTOR |FACTOR FACTOR → ( EXPR )