1.基本知识
文法G定义的四元组(VN,VT,P,S)
VN---非终结符集合
VT---终结符集合
P---推导式集合
S---开始符(非终结符)
2.0型文法
2.1 定义
设G={VT,VN,S,P},如果它的每个产生式α→β是这样一种结构:α∈(VT∪VN)* 且至少含有一个非终结符,
文法G定义的四元组(VN,VT,P,S)
VN---非终结符集合
VT---终结符集合
P---推导式集合
S---开始符(非终结符)
设G={VT,VN,S,P},如果它的每个产生式α→β是这样一种结构:α∈(VT∪VN)* 且至少含有一个非终结符,