形式語言是基于產生式的，所以只能是一顆樹，向下開枝散葉，而不能描述圖。
換句話說：它缺少，A產生式與B產生式共享一個數據的能力。
====
補充：應該是上下文無關文法及其子集，才是樹的的展開，而上下文相關文法展開是一個圖，因為其產生式的右邊可以有多個符號
posted on 2009-11-18 18:21 肥仔 閱讀(470) 評論(0) 編輯 收藏 引用 所屬分類: 編程思想 、狀態機 & 自動機 & 形式語言
Powered by: C++博客 Copyright © 肥仔