共查询到10条相似文献,搜索用时 15 毫秒
1.
通过对模糊上下文无关文法的详细分析,在上下文无关文法语法分析和识别算法的基础上,提出了并行的模糊上下文无关文法语法分析和识别算法,通过实例详细分析了算法的并行处理过程,验证了算法的正确性. 相似文献
2.
3.
一个描述可视化语言上下文属性化的图文法框架 总被引:2,自引:0,他引:2
针对目前已有的上下文相关图文法的描述规范过于复杂或不太直观,提出了一个新的上下文相关图文法的形式框架:上下文属性化的图文法CAGG.该文法将产生式的上下文信息刻画成相关结点的上下文属性来解决嵌入问题.而且进一步分析了合流的CAGG产生式集合的基本特征,并基于此设计了合流产生式集合的判定算法,从而为构造高效的语法分析算法奠定了基础.通过与已有上下文相关图文法的对比分析可知,CAGG图文法的形式更为简洁和直观,因而更适于且更易于应用到可视化语言描述领域. 相似文献
4.
禾子 《合肥联合大学学报》2007,17(4):62
陈氏文法:陈永川在组合数学方面的研究成果
陈永川(1964-),四川人;南开数学研究所教授、博士生导师,中国组合数学与图论学会理事长,并任美国洛斯阿拉莫斯国家实验室客座研究员.陈永川从事的主要研究领域有组合计数理论、构造组合学、形式文法、对称函数理论、计算机互联网络、组合数学在数学物理中的应用等,并取得了许多重要的研究成果.由他构造的“Schrodertrees”的计数算法是组合数学中最漂亮的算法之一;他建立的指数型结构的上下文无关文法的计数模型被公认为“陈氏文法”. 相似文献
5.
在编译原理的教学中,不仅仅应当注重正规式、上下文无关文法等描述文法规则的概念及相关判定算法,更重要的是培养学生根据规则给出判定算法的能力。后者在传统教学中主要通过知识传授灌输的方法实现,但效果欠佳。这种能力的培养需要在规则的意义及算法思想之间建立联系,可视为一种知识意义的建构。因此,本文尝试将建构主义教学模式和教学方法应用于这种能力的培养。 相似文献
6.
7.
通常的逻辑学教材都会讲到一阶语言是一种形式语言,但是所讲的形成规则一般都是规定什么是公式,而非如何构造公式。而本文从乔姆斯基的形式文法的观点重新理解一阶语言的形成过程。首先由于一阶语言是递归的,因此它一定是递归可枚举语言,从而存在一套形式文法生成它。本文就找到了一套可以生成一阶语言的形式文法,而且这套文法是上下文无关的,因此一阶语言不止是递归可枚举语言,还是上下文无关语言。更进一步地,借助哥德尔编码还可以构造一套生成一阶语言的正则文法,从而可以得出更强的结论:一阶语言是正则语言。 相似文献
8.
9.
彭家寅 《内江师范学院学报》2011,26(12):1-5
引入了模糊袋自动机和模糊袋语言的概念,给出了模糊袋自动机的状态转换图,讨论了模糊袋语言重复序列在状态转换图的结构特征,给出了Chomsky文法模糊语言与模糊袋语言的关系.指出了模糊正规语言类、模糊袋语言类、模糊上下文有关语言类之间的包含关系,及模糊袋语言类与模糊上下文无关语言类交叉关系. 相似文献
10.
针对高校网络基础设施规模不断扩大、类型与日俱增所导致的网络实体名字混乱问题,结合青海民族大学网络信息中心和网络实验室管理的实践经验,自主设计出一种基于文法描述和规则匹配的网络实体命名方案。通过分析名字空间的相关属性特征、分配方法及设计原则,引入上下文无关文法作为名字空间的科学描述工具,构建了全局与局部、持久与动态相结合的网络实体名字空间结构,按规则匹配和语义描述实现了网络实体名字高效编码及其合法性验证。经学校资产管理和网络运维验证了所提方案的实用性、规范性、灵活性和扩展性,有效促进了高校设备的智能信息化管理。 相似文献