一、 文法的概念
文法是描述语言的语法结构的形式规则
1)相关概念
1.非终结符
2.终结符
3.开始符号
表示所定义的语法范畴的非终结符
又称为识别符号
4.产生式
5.推导
6.归约
7.句型、句子、语言
最左推导
最右归约
8.文法规则的递归定义
上面那个是正确的,整数是递归定义的,有终结的状态
文法规则的扩充表示
–扩充的BNF表示
()提因子
9.元语言符号
文法与语言的形式定义
0型
1型
2型
3型
i型语言
包含关系:
由语言构造文法
以a开头的符号串
有相同个数的a,b
A(b多一个)(以a开头或者b开头)
A->aAA|bS
B(a多一个)(以a开头或者b开头)
B->aS|bBB
文法的简化
删除
S不可能推到d
没有终结状态
E没有出现
完成
构造没有空产生式的上下文无关文法