编译原理知识点总结——文法的定义

1.从自然语言举例

基本概念：

一个文法是用来描述句子的构成规则，那么基本符号是单词，一个文法是用来描述单词的构成规则，那么基本符号是字母。

2.文法的形式化定义：

详细解释一下终结符和非终结符

终结符： 通俗的说就是不能单独出现在推导式左边的符号，也就是说终结符不能再进行推导。

非终结符： 不是终结符的都是非终结符。非终结符可理解为一个可拆分元素，而终结符是不可拆分的最小元素。

例子：

有文法G2[S]为：
S->Ap
S->Bq
A->a
A->cA
B->b
B->dB
则表示：S 为开始符，S，A，B 为非终结符，而p,q,a,b,c,d 为终结符

两者关系：
交集为空，而且并起来为文法符号集

P代表产生式：

产生式的简写

S表示开始符号

符号约定



总结 ：