编译原理

如：{*}表示*重复任意次，{*}³₈表示*重复3-8次。
　　[ ] ：方括号表示其内的成分为任选项。
　　( ) ：表示圆括号内的成分优先。

例：用EBNF描述<整数>文法的定义：
　　<整数>∷=[+|-]<数字>{<数字>}
　　<数字>∷=0|1|2|3|4|5|6|7|8|9
　　或更好的写法
　　<整数>∷=[+|-]<非零数字>{<数字>}|0
　　<非零数字>∷=1|2|3|4|5|6|7|8|9
　　<数字>∷=0|<非零数字>

PL/0语言文法的EBNF表示为：
　　〈程序〉∷=〈分程序〉．
　　〈分程序〉∷=[〈常量说明部分〉][〈变量说明部分〉][〈过程说明部分〉]〈语句〉
　　〈常量说明部分〉∷=CONST〈常量定义〉 {，〈常量定义〉}；
　　〈常量定义〉∷=〈标识符〉=〈无符号整数〉
　　〈无符号整数〉∷=〈数字〉{〈数字〉}
　　〈变量说明部分〉∷=VAR〈标识符〉{，〈标识符〉}；
　　〈标识符〉∷=〈字母〉{〈字母〉|〈数字〉}
　　〈过程说明部分〉∷=〈过程首部〉〈分程序〉{；〈过程说明部分〉}；
　　〈过程首部〉∷=PROCEDURE〈标识符〉；
　　〈语句〉∷=〈赋值语句〉|〈条件语句〉|〈当型循环语句〉|
〈过程调用语句〉|〈读语句〉|〈写语句〉|〈复合语句〉|〈空〉
　　〈赋值语句〉∷=〈标识符〉∶=〈表达式〉
　　〈复合语句〉∷=BEGIN〈语句〉{；〈语句〉}END
　　〈条件〉∷=〈表达式〉〈关系运算符〉〈表达式〉|ODD〈表达式〉
　　〈表达式〉∷=[+|-]〈项〉{〈加法运算符〉〈项〉}
　　〈项〉∷=〈因子〉{〈乘法运算符〉〈因子〉}
　　〈因子〉∷=〈标识符〉|〈无符号整数〉|'('〈表达式〉')'
　　〈加法运算符〉∷=+|-
　　〈乘法运算符〉∷=*|/
　　〈关系运算符〉∷=#|=|＜|＜=|＞|＞=
　　〈条件语句〉∷=IF〈条件〉THEN〈语句〉
　　〈过程调用语句〉∷=CALL〈标识符〉
　　〈当型循环语句〉∷=WHILE〈条件〉DO〈语句〉
　　〈读语句〉∷=READ'('〈标识符〉{，〈标识符〉}')'
　　〈写语句〉∷=WRITE'('〈表达式〉{，〈表达式〉}')'
　　〈字母〉∷=a|b|…|X|Y|Z
　　〈数字〉∷=0|1|2|…|8|9

　　用语法图描述语言的语法与EBNF描述相比较：
语法图描述： 直观，易读，易写。
EBNF表示：形式化强，易机器识别。

　　无论用语法图或EBNF作为描述程序设计语言语法的工具，对描述的语法可以检查哪些符号序列是所给语言的合法程序，一个程序设计语言如C或JAVA，用户可用它写出成千上万个不同的程序，但C或JAVA它们各自的语法只有一个，这就使得无穷的句子集可用有穷的文法（语法）描述。