幾個離散的 文法 問題
來自小黃離散五版 13-37 與13-41
Q1: 下冊13-35 設計grammer生成 L={w|w屬於{a,b}* , w中a的個數是3的倍數 }
內容中有段敘述 ,
　　S表示含3k個a的字串　
　　A表示含3k+1個a的字串
其中一個文法推論為 A→aS .....(後略)
沒有考慮 A→Sa , 雖然Sa這型的也屬於aS的其中一員 , 還是覺怪怪的...
另外 , 書上設計文法的題目 , 大多推論的右側如果同時有 N 與 T的成員 ,
都會統一先寫T再寫N , 是剛好題目有交換的性質? 還是type3 與 type2 的文法
生成的語言都符合這個現象?
Q2-1: 下冊13-37文法分類
type1 , type2的文法分別稱為 context-sensitvie 和 context-free
context是指? 是說生成的語言和甚麼相關嗎 ? 看書上的例子大多都為
type2與type3, 目前都是定義操作 , 土法煉鋼寫出生成的L , 條件比較嚴苛
的文法(如type3 或 type2)其生成的L是否有通用的型式呢?
Q2-2: 13-41範例3
(3) S→aAB , AB→c , A→b , B→AB
(3)是type 0 文法 , 原因是紅色的推論嗎 ? 天外飛來一個c?