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