一、上下文无关文法
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
-
黑体串