高分请教消除左递归问题。

[「已注销」]

在下在读《编译原理 龙书》时实在是理解不了左递归。
例子：
expr->expr+term

开始时向前看指针指向expr，于是决定调用expr对应的函数，但是expr不是终结符号，所以向前看指针不做变动，所以在产生式中的expr也是调用了相同的函数，导致了递归调用，叫做立即左递归。
问题1：上述表明函数的调用取决于向前看指针，这样理解对么？

对应文法
E->E+T/T 的消除左递归的方法是
使 E->TE'
E'->+TE'/空 （T是终结符号）
问题2：请高人结合expr->expr+term，举个具体的例子。

问题3：是不是一定要把 expr->expr+term 改成 expr->term+expr 才能与 E->TE' E'->+TE'/空 匹配 ？ 改了以后就不存在左递归了那改了还有什么意义？

脑子里是越来越乱，请高人帮帮我，整理一下思路。

[xingzhe2001]

->不是指针的意思吧

[xingzhe2001]

左递归就是像例子中E->E + T | T
E->E.... 非结束符推出自己 将会无限递归中
消除左递归
举个例子

例 算术表达文法
E->E + T | T （ T + T . . . + T ）
T->T * F | F （ F * F . . . * F ）
F->( E ) | id
消除左递归后文法
E->TE'
E'->+ TE'|字符空
T->FT'
T'->* F T '|字符空
F->( E ) | id

[「已注销」]

[Quote=引用 1 楼 xingzhe2001 的回复:]
->不是指针的意思吧
[/Quote]

是“可以定义为”。

[xxcclowlg]

没看懂.......

[「已注销」]

现在脑子全乱了，都不知道该问什么问题，还请高人指点啊。。。。

[「已注销」]

[Quote=引用 2 楼 xingzhe2001 的回复:]
左递归就是像例子中E->E + T | T   
E->E.... 非结束符推出自己 将会无限递归中
消除左递归
举个例子

例 算术表达文法
  E->E + T | T  （ T + T . . . + T ）
  T->T * F | F  （ F * F . . . * F ）
  F->( E ) | id
消除左递归后文法
  E->TE'
  E'->+ TE'|字符空
T->FT' 
  T'->* F T '|字符空
  F->( E ) | id
[/Quote]

高人，可不可以在向前看符号，和函数调用的角度，举个例子？

[yshuise]

等我有时间再说。

[「已注销」]

E->TE' 是不是说 expr->expr+term 和 expr->term+expr （term 是终结符号，expr非终结符号） 中只有一个是匹配的？ 因为E->TE' 产生体中的最左端是T终结符号，那么expr->expr+term 就不匹配了，因为expr->expr+term的最左端是expr非终结符号。

大爷，大哥，大娘，大姐，帮帮我吧。

[xingzhe2001]

对于 expr->expr+term是非法的吧，假如expr->expr+term|term,那么消除的方法是

expr->term expr'
expr'->+term expr'|空

[xingzhe2001]

[Quote=引用 8 楼 zhang6yong 的回复:]
E->TE' 是不是说  expr->expr+term 和 expr->term+expr （term 是终结符号，expr非终结符号）  中只有一个是匹配的？ 因为E->TE' 产生体中的最左端是T终结符号，那么expr->expr+term 就不匹配了，因为expr->expr+term的最左端是expr非终结符号。

大爷，大哥，大娘，大姐，帮帮我吧。
[/Quote]
不是这个意思，是说吧一个产生式变成两个产生式

[「已注销」]

up

[「已注销」]

up