形式语言是基于产生式的，所以只能是一颗树，向下开枝散叶，而不能描述图。
换句话说：它缺少，A产生式与B产生式共享一个数据的能力。
====
补充：应该是上下文无关文法及其子集，才是树的的展开，而上下文相关文法展开是一个图，因为其产生式的右边可以有多个符号
posted on 2009-11-18 18:21 肥仔 阅读(451) 评论(0) 编辑 收藏 引用 所属分类: 编程思想 、状态机 & 自动机 & 形式语言
Powered by: C++博客 Copyright © 肥仔