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