推导可交换上下文无关语言 被引量：1

1

作者 张继军 吴哲辉 《小型微型计算机系统》 CSCD 北大核心 2008年第2期368-372,共5页

提出了推导可交换上下文无关语言及其文法,证明了正规语言类和有界上下文无关语言类都是推导可交换上下文无关语言类的子集,而推导可交换上下文无关语言类是上下文无关语言类的一个子集;定义了该类语言的α闭包等有关运算,给出了推导可... 提出了推导可交换上下文无关语言及其文法,证明了正规语言类和有界上下文无关语言类都是推导可交换上下文无关语言类的子集,而推导可交换上下文无关语言类是上下文无关语言类的一个子集;定义了该类语言的α闭包等有关运算,给出了推导可交换上下文无关语言表达式,证明了推导可交换上下文无关文法、推导可交换上下文无关语言表达式之间的等价转换. 展开更多

关键词 推导可交换上下文无关语言 文法 语言表达式

在线阅读 下载PDF 职称材料

可交换上下文无关文法 被引量：2

2

作者 张继军 吴哲辉 《计算机科学》 CSCD 北大核心 2007年第7期254-256,共3页

本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,... 本文提出了可交换上下文无关文法及其该文法产生的语言——可交换上下文无关语言,证明了正规语言类是可交换上下文无关语言类的一个子集,而可交换上下文无关语言类是上下文无关语言类的一个子集;讨论了可交换上下文无关语言的结构特点,并给出了可交换上下文无关语言的Pumping引理。 展开更多

关键词 可交换上下文无关文法 可交换上下文无关语言 Pumping引理

在线阅读 下载PDF 职称材料

面向上下文无关语言的测试工具的设计和实现 被引量：8

3

作者 杨建军 陈卫东 +1 位作者 叶澄清 潘云鹤 《计算机研究与发展》 EI CSCD 北大核心 2000年第11期1375-1381,共7页

软件测试是软件开发生命周期的重要组成部分 ,也是目前和今后相当长一段时间内保证软件质量和可靠性的主要手段 .首先以两个已经实现了的分别面向 VB和 C/ C+ +语言的计算机辅助软件测试工具为基础 ,将该系列测试工具的系统结构推广至... 软件测试是软件开发生命周期的重要组成部分 ,也是目前和今后相当长一段时间内保证软件质量和可靠性的主要手段 .首先以两个已经实现了的分别面向 VB和 C/ C+ +语言的计算机辅助软件测试工具为基础 ,将该系列测试工具的系统结构推广至适用于任何一种上下文无关语言 .而该系列测试工具高度的模块可重用性特征为这种推广提供了必要的基础 .为实现这种高度的模块可重用性特征 ,从各个角度论述了增强该特征的设计 ,提出了基于块的程序划分机制 .这种机制从根本上保证了对多种上下文无关语言的测试语义的一致性 .最后 ,还给出了两个不同语言写就的实例的运行结果 ,以说明这种一致性 . 展开更多

关键词 软件测试工具 上下文无关语言 软件开发

在线阅读 下载PDF 职称材料

广义有界上下文无关语言与Petri网语言 被引量：6

4

作者 张继军 吴哲辉 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期26-29,共4页

提出了广义有界上下文无关语言的概念,该类语言是上下文无关语言的真子集;证明了广义有界上下文无关语言与上下文无关Petri网语言的等价性;进一步给出了上下文无关Petri网语言的一种形式描述--上下文无关Petri网语言表达式,对上下文无关... 提出了广义有界上下文无关语言的概念,该类语言是上下文无关语言的真子集;证明了广义有界上下文无关语言与上下文无关Petri网语言的等价性;进一步给出了上下文无关Petri网语言的一种形式描述--上下文无关Petri网语言表达式,对上下文无关Petri网语言给出了较完整的结构特征. 展开更多

关键词 上下文无关语言 广义有界上下文无关语言 PETRI网 Petri网语言表达式

在线阅读 下载PDF 职称材料

上下文无关语言分析树的一种表示形式 被引量：8

5

作者 陈海明 董韫美 《计算机研究与发展》 EI CSCD 北大核心 2000年第10期1179-1184,共6页

介绍了上下文无关语言 (CFL)的句子的一种分析树表示 ,它适合用于一类与以往不同的 CFL 的应用 ,即对分析树空间效率要求较高且不需标记分析树的应用 ,典型的就是把 CFL的句子用作算法加工对象 .这种表示比传统分析树不仅空间较小 ,而... 介绍了上下文无关语言 (CFL)的句子的一种分析树表示 ,它适合用于一类与以往不同的 CFL 的应用 ,即对分析树空间效率要求较高且不需标记分析树的应用 ,典型的就是把 CFL的句子用作算法加工对象 .这种表示比传统分析树不仅空间较小 ,而且进行结构匹配的速度快 .还介绍了这种分析树表示的实现技术 . 展开更多

关键词 上下文无关语言 树 表示形式 数据结构

在线阅读 下载PDF 职称材料

上下文无关Petri网语言的Pumping引理 被引量：3

6

作者 张继军 吴哲辉 《小型微型计算机系统》 CSCD 北大核心 2008年第4期698-702,共5页

Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网语言类和Petri网语言类都已给出了其相应的Pumping引理,而对于上下文无关Petri网语言类的Pumping引理却... Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网语言类和Petri网语言类都已给出了其相应的Pumping引理,而对于上下文无关Petri网语言类的Pumping引理却一直未给出.本文通过分析上下文无关Petri网语言的结构性质,给出了上下文无关Petri网语言的Pumping引理,并且正规Petri网语言的Pumping引理是上下文无关Petri网语言的Pumping引理的一种特殊形式,而上下文无关Petri网语言的Pump-ing引理又是Petri网语言Pumping引理的一种特殊形式,从而完整地解决了三类Petri网语言Pumping引理以及它们之间的关系. 展开更多

关键词 Pumping引理 语言 PETRI网 上下文无关语言

在线阅读 下载PDF 职称材料

上下文无关语言的可重复序列及其性质 被引量：1

7

作者 张继军 范昊 《小型微型计算机系统》 CSCD 北大核心 2010年第6期1226-1230,共5页

通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列三类;研究了这三类可重复序列在下推自动机的状态转换图中的结构表现和性质,通过分析下推自动机状态转换图... 通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列三类;研究了这三类可重复序列在下推自动机的状态转换图中的结构表现和性质,通过分析下推自动机状态转换图中标注回路与可重复序列之间的关系,给出求解可重复序列的计算方法;证明了不同类型的可重复序列对上下文无关语言性质的影响,利用可重复序列揭示了上下文无关语言的Pumping引理的本质特征,并给出正规语言判定的一个充分必要条件. 展开更多

关键词 可重复序列 Pumping引理 状态转换图 上下文无关语言

在线阅读 下载PDF 职称材料

Lukasiewicz逻辑值上下文无关语言的代数刻画 被引量：1

8

作者 韩召伟 韩召莹 《计算机工程与应用》 CSCD 北大核心 2011年第3期47-50,119,共5页

提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l... 提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l-VPDA间的相互等价性;并证明任意以空栈方式接受模糊语言的l-VPDA与状态转移除一步转移为模糊的以外,其余都是经典函数的l-VPDA是相互等价的;详细研究了l-值模糊上下文无关语言的代数和层次刻画,以及对于正则运算的封闭性。 展开更多

关键词 Lukasiewicz逻辑 l值下推自动机 l值模糊上下文无关语言 代数刻画

在线阅读 下载PDF 职称材料

形式语言中的上下文无关和上下文相关 被引量：2

9

作者 张选芳 《电子科技大学学报》 EI CAS CSCD 北大核心 1997年第4期435-439,共5页

形式语言与自动机理论已成为计算机科学的理论基础；对于程序设计语言的说明和分析尤其重要。文中介绍了形式语言与自动机理论中的基本原理，给出了上下文无关文法、上下文相关文法及其相应语言的定义，讨论了它们之间的关系。

关键词 上下文无关 上下文相关 形式语言 自动机理论

在线阅读 下载PDF 职称材料

一种上下文无关语言语法树的存储模式及其应用

10

作者 敖丽敏 冯潮阳 《小型微型计算机系统》 CSCD 北大核心 2005年第12期2245-2249,共5页

针对上下文无关语言的句子所对应的语法树G树的表示形式提出了一种关系数据库的存储形式.这种存储形式的优点是:表示形式一致;句子分析简单;语句执行速度快.这种存储形式作为一种上下文无关语言的中间语言的形式可以直接交付解释器(抽象... 针对上下文无关语言的句子所对应的语法树G树的表示形式提出了一种关系数据库的存储形式.这种存储形式的优点是:表示形式一致;句子分析简单;语句执行速度快.这种存储形式作为一种上下文无关语言的中间语言的形式可以直接交付解释器(抽象机)执行.同时介绍基于这种表示形式的上下文无关句子的编辑器.编辑器是基于W eb的交互式语法制导生成方式实现的.这种表示与存储形式被用于一种描述过程性知识的函数式语言. 展开更多

关键词 上下文无关语言 语法树 表示形式 语法制导

在线阅读 下载PDF 职称材料

上下文无关语言的广义泵引理

11

作者 沈百英 叶瑞芬 《华东理工大学学报（自然科学版）》 CAS CSCD 1994年第6期815-817,共3页

通常的关于上下文无关语言的泵引理，常被用来证明某些特殊的语言不是上下文无关的语言，但这种论证方法对有些非上下文无关语言不能适用，本文介绍的广义泵引理推广了通常的泵引理，并能解决通常的泵引理所不能解决的问题，它相比于Ｏ... 通常的关于上下文无关语言的泵引理，常被用来证明某些特殊的语言不是上下文无关的语言，但这种论证方法对有些非上下文无关语言不能适用，本文介绍的广义泵引理推广了通常的泵引理，并能解决通常的泵引理所不能解决的问题，它相比于Ｏｇｄｅｎ引理，未增加新的关于特指位置的概念。有些书上把泵引理中述及的条件，误认为是某语言成为上下文无关语言的充分条件，本文指出由此而引起的错误。 展开更多

关键词 形式语言 上下文无关语言 泵引理

在线阅读 下载PDF 职称材料

量化上下文无关语言的代数性质 被引量：1

12

作者 付雯静 韩召伟 《计算机科学》 CSCD 北大核心 2017年第7期57-60,88,共5页

通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语言与量化上下文无关文法生成的语言相同。

关键词 双幺赋值幺半群 量化下推自动机 量化上下文无关文法 量化上下文无关语言

在线阅读 下载PDF 职称材料

基于最小序句子的上下文无关语言句子枚举 被引量：4

13

作者 黄文集 《计算机研究与发展》 EI CSCD 北大核心 2004年第1期9-14,共6页

形式规约获取系统SAQ和一些形式化验证系统中常常需要枚举上下文无关语言的句子 ,现有的枚举方法较少且效率较低 以上下文无关语言L(G)的最小序句子和最大序句子为基础 ,从最小序句子开始按照一定的顺序扫描字符串 ,直至扫描到最大序句... 形式规约获取系统SAQ和一些形式化验证系统中常常需要枚举上下文无关语言的句子 ,现有的枚举方法较少且效率较低 以上下文无关语言L(G)的最小序句子和最大序句子为基础 ,从最小序句子开始按照一定的顺序扫描字符串 ,直至扫描到最大序句子为止 ,对被扫描的字符串进行判断取舍 在扫描的过程中采用削减和前瞻策略 ,很大程度上减少了被扫描的字符串个数 ,可以取得较好的时空性能 实验数据表明 。 展开更多

关键词 上下文无关语言 句子枚举 最小序句子

在线阅读 下载PDF 职称材料

ω上下文无关语言和语言的附着之间的关系

14

作者 郭清泉 王常青 《软件学报》 EI CSCD 北大核心 1999年第4期406-408,共3页

文章研究了用重复集生成的ω语言和语言的附着之间的关系，指出并证明了上下文无关语言附着类是ω上下文无关语言类的真子类，正规语言附着类是ω正规语言类的真子类．

关键词 ω语言 上下文无关语言 形式语言 ω正规语音

在线阅读 下载PDF 职称材料

上下文无关语言句子的反向自然枚举

15

作者 戴晓君 《计算机工程与设计》 CSCD 北大核心 2008年第8期1874-1877,共4页

在测试基于复杂数据结构的程序时,需要用到上下文无关语言句子的枚举。基于上下文无关语言按推导树高度的分层构造,提出了句子的反向自然枚举算法。通过堆、层、簇和长方体将句子划分为有穷集合序列,该算法的时间效率为,是被枚举句子的... 在测试基于复杂数据结构的程序时,需要用到上下文无关语言句子的枚举。基于上下文无关语言按推导树高度的分层构造,提出了句子的反向自然枚举算法。通过堆、层、簇和长方体将句子划分为有穷集合序列,该算法的时间效率为,是被枚举句子的长度。实验数据表明,该算法是高效的,且应用更加便利。 展开更多

关键词 上下文无关语言 句子枚举 分层构造 算法 线性时间

在线阅读 下载PDF 职称材料

基于量子逻辑的下推自动机与上下文无关文法 被引量：8

16

作者 韩召伟 李永明 《软件学报》 EI CSCD 北大核心 2010年第9期2107-2117,共11页

给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上... 给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(l-VCFG)的等价性. 展开更多

关键词 量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 量子上下文无关文法

在线阅读 下载PDF 职称材料

一种基于概率上下文无关文法的汉语句法分析 被引量：11

17

作者 林颖 史晓东 郭锋 《中文信息学报》 CSCD 北大核心 2006年第2期1-7,32,共8页

本文研究了PCFG独立性假设的局限性,并针对这一局限性提出了句法结构共现的概念以引入上下文信息,给出了计算方法;为了打破中文树库规模过小的局限性,对于句法规则参数的获取,本文利用In-side-Outside算法进行迭代,最后提出了一个基于... 本文研究了PCFG独立性假设的局限性,并针对这一局限性提出了句法结构共现的概念以引入上下文信息,给出了计算方法;为了打破中文树库规模过小的局限性,对于句法规则参数的获取,本文利用In-side-Outside算法进行迭代,最后提出了一个基于统计模型的自顶向下的汉语句法分析器。在封闭测试下,其标记精确率和标记召回率分别为88.1%和86.8%。实验结果表明,这种方法确实能够提高标记的精确率和召回率,值得深入研究。 展开更多

关键词 人工智能 自然语言处理 统计句法分析 概率上下文无关文法 汉语自动分析

在线阅读 下载PDF 职称材料

逐步求精法获取上下文无关文法 被引量：2

18

作者 张瑞岭 董韫美 《计算机研究与发展》 EI CSCD 北大核心 2000年第1期30-36,共7页

文法推断研究如何从语言的有限实例，通过归纳推断获取语言的文法定义． 文中提出一个基于逐步求精的上下文无关文法推断方法，以尝试将文法推断用于替代或帮助传统手工的文法构造工作． 文中的推断方法以Ａｎｇｌｕｉｎ 的交互式学习... 文法推断研究如何从语言的有限实例，通过归纳推断获取语言的文法定义． 文中提出一个基于逐步求精的上下文无关文法推断方法，以尝试将文法推断用于替代或帮助传统手工的文法构造工作． 文中的推断方法以Ａｎｇｌｕｉｎ 的交互式学习模型为框架，以逐步求精和复用为主要策略。 展开更多

关键词 归纳学习 上下文无关文法 逐步求精 形式语言

在线阅读 下载PDF 职称材料

量子上下文无关文法的代数性质 被引量：1

19

作者 宋小震 韩召伟 李永明 《计算机工程与应用》 CSCD 北大核心 2011年第4期42-46,71,共6页

提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算... 提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。 展开更多

关键词 量子逻辑 正交模格 量子上下文无关文法 量子上下文无关语言

在线阅读 下载PDF 职称材料

格值下推自动机与格值上下文无关文法 被引量：8

20

作者 彭家寅 《计算机工程与应用》 CSCD 北大核心 2011年第25期34-38,48,共6页

引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下... 引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下推自动机接受的语言类与格值上下文无关文法产生的语言类的等价性,证明了有理格值语言均被格值下推自动机识别。 展开更多

关键词 格半群 格值下推自动机 格值上下文无关文法 格值语言 格值Chomsky范式文法

在线阅读 下载PDF 职称材料