想請問一下定義的部份
α->β的推論法則 , 滿足
(1)α=A , β=a or aB or λ 其中A,B屬於非終端符號集,a屬於終端符號集
(黃老師書上寫的)
(2)α=A , β=a or aB 其中A,B屬於非終端符號集,a屬於終端符號集 或者α=S0,β=λ
請問哪一個才是對的呢?? 這兩個定義好像不太一樣
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 123.0.42.10
※ 編輯: a613204 來自: 123.0.42.10 (01/11 18:07)