文法改进(消除左递归)

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) | <常量> | <标识符>

<逻辑运算符> → > | < | != | <= | >= | = = | ? | : | ! | || | && 

以上是关于文法改进(消除左递归)的主要内容,如果未能解决你的问题,请参考以下文章

P10 消除文法的左递归编译原理

消除文法左递归

对下面文法先消除左递归,并提取左公共因子,再判断其是不是是LL(1)文法。 S->Aab A->SB B->ab

语法分析-LL分析表的构造

如何消除文法二义性如何判断二义文法—编译原理

消除左递归