上下文无关文法1

上下文无关文法

终结符号集合

词法单元，该文法所定义的语言的基本符号的集合

非终结符号集合

语法变量，每个非终结符号表示一个终结符号的集合

产生式集合

一个产生式：

产生式头（左部）[非终结符号]->产生式体（右部）[终结符号或非终结符号]

开始符号

指定的一个非终结符号

加减运算表达式的文法

list -> list + digit

list -> list - digit

list -> digit

digit -> 0|1|2|3|4|5|6|7|8|9

或者

组合：

list -> list + digit | list - digit | digit

//注意：由较短的list与一个digit推导出较长的list的过程只能从左往右进行，这导致了语法分析树只能向左延伸。

该文法的终结符号：

+ - 0 1 2 3 4 5 6 7 8 9

运算符的优先级

+ - * / 都是左结合的运算符，其次* /的优先级高于 + -

创建2个非终结符号expr和term分别对应于加减和乘除的优先级层次，使用非终结符号factor来表示中间单元:

expr -> expr + term | expr - term | term

term -> term * factor | term / factor | factor

factor -> digit | (expr)