在BNF语法中,可选的部分通常用方括号 [] 表示。Bison可以通过使用“?”,“|”和“{ }”等特殊符号来处理可选部分。下面是一个示例:
command:
PRINT expr
| INPUT identifier
| IF expr THEN statement
| IF expr THEN statement ELSE statement
| WHILE expr DO statement
| '{' statement_list '}'
;
statement_list:
statement
| statement_list ';' statement
;
在这个示例中,我们定义了一个名为command的非终端符号,它可以代表六种不同的语法规则,其中一些规则包含可选的部分(ELSE和statement_list的分号)。在这个示例中,我们使用了垂直线字符“|”表示不同的规则选项,并使用了大括号“{}”表示可以重复的部分。
如果我们输入以下命令:
PRINT 10
IF x > 5 THEN
PRINT "x is greater than 5"
ELSE
PRINT "x is less than or equal to 5"
Bison会通过查找输入中的语法规则来构建符合该语法的语法树。在本例中,输入的命令将被解释为两个command规则:第一个规则将打印“10”,第二个规则将执行一个IF语句,其中expr被解释为“x > 5”,并且在ELSE分支中打印“x is less than or equal to 5”。
注意,Bison还提供了一些其他的特殊符号,如星号“*”和加号“+”,可以用来表示可重复的部分。此外,Bison还支持语义动作,可以在规则中嵌入C代码来执行特定的操作。