上下文无关语言相关论文
本文针对读者关于《“两分法”浅析》(2008)一文所提出的相关意见,拟就其中两个问题作进一步的探讨和说明。一个问题是该篇文章所......
题 目 作者 期 页包覆镍膜的银粒子过热与熔化的分子动力学模拟及实验研究…………徐枫亭 钟 健 金朝晖卢 柯 1 1HcP—Bcc相变不变......
首先提出了Fuzzy下推自动机的概念,进而讨论了Fuzzy上下文无关文法与Fuzzy下推自动机的关系,即当且仅当一种Fuzzy语言是由Fuzzy上......
本文研究了整数b>1的正整数次幂所构成的集合在不同进制下所对应的形式语言。通过泵引理,证明了该集合在b进制下对应的语言是正则语......
形式规约语言LFC是为支持形式规约的获取工作而开发的.该语言具有多种特色,如:以定义在上下文无关语言上的递归函数为基础;在语言......
该文证明了每一个W—CFL都可表示为一个W—Dyck语言与—W—正规集之交的一个同态。该文还把TakumiKasai所证明的:每个上下文无关语......
提出一种基于行为表达式的品质分析方法,可以做任意分布的有界或无界随机Petri网的品质分析.该方法不仅拓广了分析范围,解决了文献[4]中没有解......
软件测试是软件开发生命周期的重要组成部分,也是目前和今后相当长一段时间内保证软件质量和可靠性的主要手段.首先以两个已经实现......
运用符号动力学和形式语言等工具证明 122号初等元胞自动机的极限语言不但是非正规的,而且是非上下文无关的.
The use of tools such a......
通常的关于上下文无关语言的泵引理,常被用来证明某些特殊的语言不是上下文无关的语言,但这种论证方法对有些非上下文无关语言不能适......
本文提出一种交互式的上下文无关语言的学习算法,该算法是专门为SAQ系统设计的,所得到的文法能够自然地反映句子的内部结构,从而很容易刻......
该文介绍了形式规约语言LFC设计的一些主要方面,并通过例子说明了LFC的一些特色.形式规约语言LFC是为支持软件形式规约的获取工作......
文章研究了用重复集生成的ω语言和语言的附着之间的关系,指出并证明了上下文无关语言附着类是ω上下文无关语言类的真子类,正规语言......
上下文无关语言上递归函数(recursive functions on context-free languages,简称CFRF)是为描述计算机上用的非数值算法而提出的一......
Petri网的分层模型是应用Petri网对复杂系统建模时的一种常用手段。在传统的Petri网分层模型中,是不考虑递归的。这样的分层模型虽......
提出了广义有界上下文无关语言的概念,该类语言是上下文无关语言的真子集;证明了广义有界上下文无关语言与上下文无关Petri网语言......
增广Petri网(如抑止弧Petri网)的模拟能力相当于图灵机,堆栈是一种常见的数据结构,运用增广Petri网的强大模拟能力,通过用一个变迁......
在测试基于复杂数据结构的程序时,需要用到上下文无关语言句子的枚举。基于上下文无关语言按推导树高度的分层构造,提出了句子的反......
软件测试是软件开发生命周期的重要组成部分,也是目前和今后相当长一段时间内保证软件质量和可靠性的主要手段,首先以两个已经实现了......
介绍了上下文无关语言(CFL)的句子的一种分析树表示,它适用用于一类与以往不同的CFL的应用,即对分析树空间效率要求较高且不需标记分析树的应......
形式规约获取系统SAQ和一些形式化验证系统中常常需要枚举上下文无关语言的句子,现有的枚举方法较少且效率较低.以上下文无关语言.......
为了提高交互环境下指针别名查询的响应效率,近期研究提出通过只分析与目标相关指针的按需分析策略来降低浪费在与目标无关的指针......
通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列三......
Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网......
基于泵引理和正则语言的代数判定定理,本文证明了正则语言的子集未必是正则语言。以L={x|x∈{0,1}^*,且x中(10)和(10)作为子串出现......
元胞自动机是结构简单但行为复杂多样的离散动力系统.通过形式语言和符号动力学工具研究了126号初等元胞自动机的演化语言,证明了......
讨论了Fuzzy上下文无关语言的井、链接、产包和置换运算的封闭性质。...
在文献基础上,讨论了Fuzzy下推自动机按两种不同方式所接受的语言类的等价性,进而研究了Fuzzy下推自动机所产生的语言与Fuzzy上下文无关语言的等价关......
给出了Fuzzy派生树、Fuzzy派生子树及其结果等概念 ,讨论了Fuzzy派生树与Fuzzy上下文无关语言的关系 ,从而提供了用Fuzzy派生树对F......
需求驱动指向分析技术一般用于受到严格时间或内存限制的环境。提高需求驱动指向分析的流敏感度,可使一些变量得到准确的指向关系,......
针对上下文无关语言的句子所对应的语法树G树的表示形式提出了一种关系数据库的存储形式.这种存储形式的优点是:表示形式一致;句子......
多项加工树模型(Multinomial Processing Tree Models, MPT)是一种源自社会科学领域的统计建模方法。其建模思想是依据当前学科背......
本文研究了Feigenbaum吸引子和周期窗口中Feigenbaum吸引子决定的形式语言,讨论了它们的语法复杂性,证明了这类吸引子都是ETOL语言,从而是上下文有关语言;而不是......
<正> 形式语言理论是计算机科学的一个重要分支,这一领域是在1956年前后形成的。那时,Noam Chomsky 在他的自然语言的研究中给出了......
本文给出了一类新的文法TD[d,k],扩充了LL[k],得到了一系列完整的结果。这类文法允许自上而下地作语法分析,因而具有LL[k]文法的许......