文法改进(消除左递归)
Posted Lger
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了文法改进(消除左递归)相关的知识,希望对你有一定的参考价值。
在上次的文法中有存在左递归的情况,将会影响以后的语法分析使用,所以需要消除左递归,以便于语法分析使用。
<程序> → <外部声明> <程序>`
<程序>`→<程序> | ε
<外部声明> → <函数定义> | <定义>
<函数定义> → <函数声明> <函数体>
<函数声明> → <函数返回类型> <函数头>
<函数返回类型> → <返回类型> | <返回类型> <指针>
<函数头> → (<参数>) | ( )
<函数体> → { <声明语句> <可执行语句部分> }
<返回类型> → void | int | char | float | double
<指针> → * | * <指针>
<参数> → <标识符类型> <标识符> | <标识符类型> <标识符> , <参数>
<标识符类型> → int | char | double | float | <标志符类型> <指针>
<标识符(变量)> → <字母> | _ | <标识符> <数字> | <标识符> <字母>
<标识符(变量)> → <字母> | _ | <标识符(变量)>`
<标识符(变量)>` → <数字> | <字母>
<字母> → a | b | c |……| x | y | z
<数字> → 0 | 1|……| 8 | 9
<声明语句> → <标识符类型> <标识符> ; | <标识符类型> <标识符> ; <声明语句>
<可执行语句部分> → <语句> | <可执行语句部分> <语句>
<语句> → <表达式语句> | <条件语句> | <循环语句> | <跳转语句>
<循环语句> → <while (表达式语句){ 可执行语句部分}> | <for (表达式; 表达式; 表达式) {可执行语句部分}> | do{可执行语句部分}while(表达式语句);
<条件语句> → < if语句> | <if-else语句> | <switch语句>
< if语句> → <if (表达式语句) {可执行语句部分}>
<if-else语句> → <if (表达式语句) {可执行语句部分} else {可执行语句部分}>
<switch语句> → <switch(变量){ switch语句块 }>
<switch语句块> → < case 常量: 可执行语句部分> | < default: 可执行语句部分> | < case 常量: 可执行语句部分> <switch语句块>
<常量> → <数字> | <去0数字> <常量>
<去0数字> → 1 | 2 | 3 |……| 8 | 9
<跳转语句> → continue ; | break ; | return ; | return 表达式; |return
<表达式语句> → <赋值表达式> | <逻辑表达式> | <算术表达式 E>
<赋值表达式> → <变量> = <算术表达式>
<逻辑表达式> → (<表达式> | <数字> ) <逻辑运算符> (<表达式> | <数字>)
E → T|TE `
E` → (+T|-T)E`|ε
T → F|FT `
T `→( *F| /F)T`|ε
F → PF`
F` → (↑ P | ε)F`
P (E) | <常量> | <标识符>
<逻辑运算符> → > | < | != | <= | >= | = = | ? | : | ! | || | &&
以上是关于文法改进(消除左递归)的主要内容,如果未能解决你的问题,请参考以下文章