上下文无关文法

1.美图

2.上下文无关文法

文法： 描述语言的语法结构的形式规则
He gave me a book.

<句子> -> <主语><谓语><间接宾语><直接宾语>
<主语>  ->  <代词>
<谓语>  ->  <动词>
<间接宾语>  ->  <代词>
<直接宾语>  ->  <冠词> <名词>

<代词>  ->  He
<代词>  ->  me
<名词>  ->  book
<冠词>  ->  a
<动词>  ->  gave

替换

 <句子>
=> <主语><谓语><间接宾语><直接宾语>
=> <代词><谓语><间接宾语><直接宾语>
=> He <谓语><间接宾语><直接宾语>
=> He <动词><间接宾语><直接宾语>
=> He gave <间接宾语><直接宾语>
=> He gave <代词><直接宾语>
=> He gave me <直接宾语>
=> He gave me <冠词><名词>
=> He gave me a <名词>
=> He gave me a book

3.定义

上下文无关文法的定义： 一个上下文无关文法G是一个四元式
G=(VT，VN，S，P)，其中

VT：终结符集合(非空)
VN：非终结符集合(非空)，且VT  VN=
S：文法的开始符号，SVN
P：产生式集合(有限)，每个产生式形式为

开始符S至少必须在某个产生式的左部出现一次。

3.约定

注意： A->y 是每次只推出一个，就算有多个A,那么每次只能推出一个。

从一个句型到另一个句型的推导往往不唯一。
E+E => i+E=> i+i E+E=> E+i=> i+i

4.二义性