https://i.imgur.com/XpP5pvo.jpg
課本上定義文法型態如上
型態二三alpha只具一個非終端符沒問題
但不太清楚型態一跟型態零如何分別？
如下面這題
https://i.imgur.com/7tgNRBd.jpg
2.3小題題
看起來差別在3的B—>AB
可是根據型態一的定義
beta可以是終端符或非終端符,只要不是空字串就好
那為什麼3只能算型態零呢
另外第一張圖下面說
型態i的文法必為型態i-1的文法
但是如果定義文法的P為A—>lambda(空字串）屬於型態二或型態三
而型態一的定義中，beta輸出一定要有一個非空字串
(:w屬於（N v T) -{lambda}。不就代表一定要取一個非空字串？）
這樣不就矛盾了？