一个文法G是一个四元组:G=(Vt,Vn,S,P)
终结符集合V是终结符号的非空有限集
+ 终结符号是组成语言的基本符号,不可再分解非终结符集合V、是非终结符号的非空有限集+ 非终结符号用来代表语法范畴
开始符号S
+开始符号是一个特殊的非终结符号,代表语言中最感兴趣
的语法范畴
产生式集合P
+ 产生式规则是定义语法范畴的一种书写规则
一个文法G是一个四元组:G=(Vt,Vn,S,P)
终结符集合V是终结符号的非空有限集
+ 终结符号是组成语言的基本符号,不可再分解非终结符集合V、是非终结符号的非空有限集+ 非终结符号用来代表语法范畴
开始符号S
+开始符号是一个特殊的非终结符号,代表语言中最感兴趣
的语法范畴
产生式集合P
+ 产生式规则是定义语法范畴的一种书写规则