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