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

1

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

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

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

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

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

3

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

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

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

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

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

5

作者 韩召伟 韩召莹 《计算机工程与应用》 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 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

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

12

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

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

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

在线阅读 下载PDF 职称材料

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

13

作者 张继军 吴哲辉 《小型微型计算机系统》 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 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

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

15

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

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

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

在线阅读 下载PDF 职称材料

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

16

作者 宋小震 韩召伟 李永明 《计算机工程与应用》 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 职称材料

获取上下文无关文法的一种交互式算法 被引量：4

17

作者 董韫美 《计算机学报》 EI CSCD 北大核心 1996年第3期168-173,共6页

本文提出一种交互式的上下文无关语言的学习算法．该算法是专门为ＳＡＱ系统设计的，所得到的文法能够自然地反映句子的内部结构，从而很容易刻划句子的含义（语义）．

关键词 上下文无关语言 交互式算法 SAQ系统 算法

在线阅读 下载PDF 职称材料

一类上下文无关语法的一个推理算法

18

作者 丁有豫 《东北师大学报（自然科学版）》 CAS 1981年第1期29-35,共7页

本文提供一个关于一类上下文无关语法的推理算法,这个算法由上下文无关语言的性质导出,着重于寻求文法的自嵌套结构。算法限制语言的自嵌套结构具有生成式 A→a_1Aa_2的形式,其中 a_1、a_2∈(V_N∪V_T)且非空。考虑了加强的结构地完备... 本文提供一个关于一类上下文无关语法的推理算法,这个算法由上下文无关语言的性质导出,着重于寻求文法的自嵌套结构。算法限制语言的自嵌套结构具有生成式 A→a_1Aa_2的形式,其中 a_1、a_2∈(V_N∪V_T)且非空。考虑了加强的结构地完备的样品集的大小和结构。并提出了一个语言几次近似的概念。最后,对算法的扩展作了初步的讨论。 展开更多

关键词 上下文无关语言 文法 派生树 句子 生成式 语法 上下文无关语法 推理算法 嵌套结构

在线阅读 下载PDF 职称材料

一个支持规约获取的形式规约语言 被引量：7

19

作者 陈海明 董韫美 《计算机学报》 EI CSCD 北大核心 2002年第5期459-466,共8页

该文介绍了形式规约语言 L FC设计的一些主要方面 ,并通过例子说明了 L FC的一些特色 .形式规约语言L FC是为支持软件形式规约的获取工作而开发的 .该语言以一种新的递归函数 ,即定义在上下文无关语言上的递归函数为基础 ,以上下文无关... 该文介绍了形式规约语言 L FC设计的一些主要方面 ,并通过例子说明了 L FC的一些特色 .形式规约语言L FC是为支持软件形式规约的获取工作而开发的 .该语言以一种新的递归函数 ,即定义在上下文无关语言上的递归函数为基础 ,以上下文无关语言为数据类型 ,在语言级支持规约获取 .L FC语言已被用作形式规约获取系统 SAQ的一部分 .使用表明 ,L FC是一个能力强、易使用的语言 ,适合软件形式规约获取之用 。 展开更多

关键词 规约获取 形式规约语言 上下文无关语言 递归函数 计算机

在线阅读 下载PDF 职称材料

Petri网的分层递归模型 被引量：11

20

作者 张继军 吴哲辉 《系统仿真学报》 CAS CSCD 2003年第z1期89-92,98,共5页

Petri网的分层模型是应用Petri网对复杂系统建模时的一种常用手段。在传统的Petri网分层模型中,是不考虑递归的。这样的分层模型虽然为系统的建模和分析带来方便,但并增强模拟能力。在分层模型中引入递归的概念,可以使系统的模拟能力增... Petri网的分层模型是应用Petri网对复杂系统建模时的一种常用手段。在传统的Petri网分层模型中,是不考虑递归的。这样的分层模型虽然为系统的建模和分析带来方便,但并增强模拟能力。在分层模型中引入递归的概念,可以使系统的模拟能力增强。可以证明,任意一个上下文无关语言都可以被一个分层递归Petri网识别。 展开更多

关键词 PETRI网 分层模型 递归 模拟能力 上下文无关语言

在线阅读 下载PDF 职称材料