請問一下
找不到問compiler的專版，但是又有問題，所以只好po在這，請大大解惑
一個文法:
exp->atom|list
atom->num|id
list->(exp-list)
exp-list->exp-list exp|exp
num和id 是terminal，其他是nonterminal
要消去上面的left recursion
公式:A->Aa|b
變成:A->bA'
A'->aA'|ε
但是我不知道要不要取代exp
(1)exp-list->exp-list exp|exp
變成:
exp-list->exp exp-list'
exp-list'->exp exp-list'|ε
(2)exp-list->exp-list exp|exp
先取代:exp-list->exp-list exp|atom|list
變成:
exp-list->atom exp-list'|list exp-list'
exp-list->exp exp-list'|ε
請問一下哪個才對?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.121.219.142