形式語(yǔ)言是基于產(chǎn)生式的，所以只能是一顆樹，向下開枝散葉，而不能描述圖。
換句話說(shuō)：它缺少，A產(chǎn)生式與B產(chǎn)生式共享一個(gè)數(shù)據(jù)的能力。
====
補(bǔ)充：應(yīng)該是上下文無(wú)關(guān)文法及其子集，才是樹的的展開，而上下文相關(guān)文法展開是一個(gè)圖，因?yàn)槠洚a(chǎn)生式的右邊可以有多個(gè)符號(hào)
posted on 2009-11-18 18:21 肥仔 閱讀(462) 評(píng)論(0) 編輯 收藏 引用 所屬分類: 編程思想 、狀態(tài)機(jī) & 自動(dòng)機(jī) & 形式語(yǔ)言
Powered by: C++博客 Copyright © 肥仔