上下文无关文法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)