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

1

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

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

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

在线阅读 下载PDF 职称材料

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

2

作者 陈海明 董韫美 《计算机学报》 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 职称材料

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

3

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

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

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

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

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

一种有效的概率上下文无关文法分析算法 被引量：4

8

作者 朱胜火 周明 +1 位作者 刘昕 黄昌宁 《软件学报》 EI CSCD 北大核心 1998年第8期592-597,共6页

句法分析的研究是自然语言处理领域的一个重要组成部分．该文提出并实现了一种有效的概率上下文无关文法ＳＣＦＧ（ｓｔｏｃｈａｓｔｉｃｃｏｎｔｅｘｔ－ｆｒｅｅｇｒａｍｍａｒ）的分析算法．首先对原有的ＧＬＲ分析表加以改造，以便... 句法分析的研究是自然语言处理领域的一个重要组成部分．该文提出并实现了一种有效的概率上下文无关文法ＳＣＦＧ（ｓｔｏｃｈａｓｔｉｃｃｏｎｔｅｘｔ－ｆｒｅｅｇｒａｍｍａｒ）的分析算法．首先对原有的ＧＬＲ分析表加以改造，以便能够利用分析过程的控制结构来计算有关的概率；然后对分析过程中的每个状态增设了下标，以区分不同的归约路径．通过上述手段，成功地引入了状态的前向（Ｆｏｒｗａｒｄ）概率和内（Ｉｎｎｅｒ）概率．利用这两个概率可以计算输入句子的所有可能分析树的概率，用于选择最佳的分析结果．通过对大规模真实文本进行实验，结果表明，这种算法具有较高的分析效率． 展开更多

关键词 SCFG 分析算法 自然语言处理 句法分析

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

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

10

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

一个上下文无关文法获取过程的设计和实现 被引量：6

11

作者 张瑞岭 《软件学报》 EI CSCD 北大核心 1998年第8期601-605,共5页

文章介绍一个基于复用的上下文无关文法获取过程的设计和实现，该过程用于获取以上下文无关文法表示的概念．它从待获取概念的有限实例和句型以及可能复用的已知概念出发，通过一个交互式文法推断过程。

关键词 文法推断 示例学习 SCFG 自然语言处理

在线阅读 下载PDF 职称材料

EM算法在统计自然语言处理中的应用 被引量：1

12

作者 王继曾 刘宽 +1 位作者 任浩征 罗恒 《计算机工程与设计》 CSCD 北大核心 2006年第19期3715-3717,共3页

在统计自然语言处理中会经常遇到一类参数估值问题,就是当观察数据为不完全数据时如何求解参数的最大似然估计,EM算法就是解决这类问题的经典算法。给出了EM算法的基本框架,结合HMM和PCFG模型给出如何应用EM算法求解参数的极大似然估计... 在统计自然语言处理中会经常遇到一类参数估值问题,就是当观察数据为不完全数据时如何求解参数的最大似然估计,EM算法就是解决这类问题的经典算法。给出了EM算法的基本框架,结合HMM和PCFG模型给出如何应用EM算法求解参数的极大似然估计,讨论了EM算法的优点和不足之处。 展开更多

关键词 自然语言 EM算法 参数估计 似然函数 隐马尔科夫模型 概率上下文无关文法

在线阅读 下载PDF 职称材料

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

13

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

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

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

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

识别Fuzzy上下文无关语言的下推自动机(英文) 被引量：3

15

作者 舒兰 《电子科技大学学报》 EI CAS CSCD 北大核心 1992年第2期187-190,共4页

首先提出了Fuzzy下推自动机的概念,进而讨论了Fuzzy上下文无关文法与Fuzzy下推自动机的关系,即当且仅当一种Fuzzy语言是由Fuzzy上下文无关文法产生时,该语言可由Fuzzy下推自动机识别,从而达到了自动识别Fuzzy上下文无关语言的目的。

关键词 模式识别 FUZZY 下推自动机 文法

在线阅读 下载PDF 职称材料

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

16

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

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

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

在线阅读 下载PDF 职称材料

语法制导翻译在汇编程序自动构造中的应用 被引量：4

17

作者 温敬和 《计算机工程》 CAS CSCD 北大核心 2005年第12期75-77,共3页

提出了语法制导翻译用于自动构造汇编程序的方法。该方法简洁实用,自动化程度高,可用于计算机系统汇编程序的自动构造。

关键词 系统结构 汇编语言 汇编程序 上下文无关文法 语法制导翻译

在线阅读 下载PDF 职称材料

一种新型递归函数的求值算法 被引量：2

18

作者 陈海明 《软件学报》 EI CSCD 北大核心 2004年第9期1277-1291,共15页

上下文无关语言上递归函数(recursive functions on context-free languages,简称 CFRF)是为描述计算机上用的非数值算法而提出的一种新型递归函数.该函数的一个重要研究方面是函数的求值算法研究.对此问题的一些研究结果进行了总结.在... 上下文无关语言上递归函数(recursive functions on context-free languages,简称 CFRF)是为描述计算机上用的非数值算法而提出的一种新型递归函数.该函数的一个重要研究方面是函数的求值算法研究.对此问题的一些研究结果进行了总结.在讨论计算和语法分析的结合方式之后,对主要算法按照算法适用范围从小到大的顺序(同时也是算法研究和提出的顺序)做了较为全面的介绍,着重介绍一种通用的新的高效求值算法,即面向树的求值算法.同时对把 CFRF 扩充为多种类递归函数后的求值方法进行了说明.CFRF 的几个求值算法均已在机器上实现,得到了实践的检验. 展开更多

关键词 上下文无关语言 递归函数 求值算法

在线阅读 下载PDF 职称材料

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

19

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

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

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

在线阅读 下载PDF 职称材料

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

20

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