编译原理学习笔记之上下文无关文法

一、上下文无关文法

1.定义

上下文无关文法是这样一个四元组（VT , VN , S, P）

VT：终结符集合，非空有限集合，记号名是其同义词

VN：非终结符集合，非空有限集合且VT∩VN=Φ

S：开始符号

P：产生式集合，形如A -> a，A∈VN，a∈(VN∪VT)*

其中，终结符可以理解为词法单元，即是符号的最终形式，非终结符就是匹配终结符过程中引入的中间量，

例({ id, +, *, -, (, )}, { expr,op}, expr,P )

以下符号通常表示终结符：

• 字母表中前面的小写字母，如a,b,c

• 黑体串