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}。不就代表一定要取一个非空字串？）
这样不就矛盾了？