上下文无关语言相关论文
运用符号动力学和形式语言等工具证明 １２２号初等元胞自动机的极限语言不但是非正规的，而且是非上下文无关的．
The use of tools such a......
该文介绍了形式规约语言LFC设计的一些主要方面,并通过例子说明了LFC的一些特色.形式规约语言LFC是为支持软件形式规约的获取工作......
上下文无关语言上递归函数(recursive functions on context-free languages,简称CFRF)是为描述计算机上用的非数值算法而提出的一......
Petri网的分层模型是应用Petri网对复杂系统建模时的一种常用手段。在传统的Petri网分层模型中,是不考虑递归的。这样的分层模型虽......
提出了广义有界上下文无关语言的概念,该类语言是上下文无关语言的真子集;证明了广义有界上下文无关语言与上下文无关Petri网语言......
增广Petri网(如抑止弧Petri网)的模拟能力相当于图灵机,堆栈是一种常见的数据结构,运用增广Petri网的强大模拟能力,通过用一个变迁......
在测试基于复杂数据结构的程序时,需要用到上下文无关语言句子的枚举。基于上下文无关语言按推导树高度的分层构造,提出了句子的反......
介绍了上下文无关语言（ＣＦＬ）的句子的一种分析树表示，它适用用于一类与以往不同的ＣＦＬ的应用，即对分析树空间效率要求较高且不需标记分析树的应......
为了提高交互环境下指针别名查询的响应效率,近期研究提出通过只分析与目标相关指针的按需分析策略来降低浪费在与目标无关的指针......
Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网......
元胞自动机是结构简单但行为复杂多样的离散动力系统.通过形式语言和符号动力学工具研究了126号初等元胞自动机的演化语言,证明了......
讨论了Ｆｕｚｚｙ上下文无关语言的井、链接、产包和置换运算的封闭性质。...
在文献基础上，讨论了Ｆｕｚｚｙ下推自动机按两种不同方式所接受的语言类的等价性，进而研究了Ｆｕｚｚｙ下推自动机所产生的语言与Ｆｕｚｚｙ上下文无关语言的等价关......
需求驱动指向分析技术一般用于受到严格时间或内存限制的环境。提高需求驱动指向分析的流敏感度,可使一些变量得到准确的指向关系,......
针对上下文无关语言的句子所对应的语法树G树的表示形式提出了一种关系数据库的存储形式.这种存储形式的优点是:表示形式一致;句子......
多项加工树模型(Multinomial Processing Tree Models, MPT)是一种源自社会科学领域的统计建模方法。其建模思想是依据当前学科背......
<正> 形式语言理论是计算机科学的一个重要分支,这一领域是在1956年前后形成的。那时,Noam Chomsky 在他的自然语言的研究中给出了......
本文给出了一类新的文法TD[d,k],扩充了LL[k],得到了一系列完整的结果。这类文法允许自上而下地作语法分析,因而具有LL[k]文法的许......
