正则语言相关论文
本文研究了含幺Cliford半群的自动性.利用几何性质与代数性质相结合的方法,获得了在一定条件下,含幺Cliford半群S是自动化的,它的......
正则语言推断研究从语言的有限信息出发,通过归纳和推理得出正则语言模型.该技术在信息抽取、软件工程、模式识别等领域应用广泛.......
本文主要利用solid码和句法同余研究语言.首先,在l（S）上定义运算*,其中S为字母表A上一 solid码.证明了（l（S）,*）为一幺半群,并对其幂等元......
综述利用半滤子刻画和推广正则语言这一组合半群课题的研究,包括该课题最近的一些进展和结果,同时提出了若干问题。......
线性偏微分算子理论概况························……,’’····················......
30多年前，许国璋先生提出了自然语言的计算复杂性究竟有多大的问题，本文试图回答许先生提出的这个问题，讨论正则语法、上下文无关语法......
本文在自动机理论的基础上，研究了表示正则语言的确定型有限自动机的最小化填表算法和确定型有限自动机经并、交运算后的最小化问题......
本文主要介绍了图自动机半群的概念,它是Cayley图自动机群的推广,也是自动机半群的推广.自动机半群与图自动机半群之间一个最大区......
本文分为两部分.在形式语言学中,一个经典的结果是：两个字{x,y}组成的语言是码的充分必要条件是xy≠yx.三个字组成的语言{x,y,z}是......
本文称满足方程G[G(R)]=R的关系 R:∑→Z为自相容关系,在关系∑→Z中定义了轨道与收敛轨道的概念,并借此给出了R自相容的若干充要......
本文研究了整数b>1的正整数次幂所构成的集合在不同进制下所对应的形式语言。通过泵引理，证明了该集合在b进制下对应的语言是正则语......
本文给出了经典双向有穷自动机的即时描述,接受(识别)的语言及双向有穷自动机和有穷自动机是等价的,证明了它接受的语言是正则语言......
有限自动机(FA)和正规表达式(RE)都是正则语言(RL)的描述模型.FA擅长语言的识别,而RE比FA更简单,更容易处理,而且这种表达式更容易......
修正学习算法La*属于改进的安全协议自适应分析算法,它能够避免教师经验不足,并实现字符集扩展。立足于正确性和复杂度方面,对修正......
半群的自动理论开始于20世纪末，近年来许多学者研究半群的自动理论.本文收集整理了该理论的近期成果和基本的研究方法，以利于读者进......
本文构造有限生成Chinese幺半群的双自动结构(biautomatic structures)，从而得到有限生成Chinese幺半群是双自动幺半群(biautomatic......
本文研究的主要内容是格值文法及其语言。李永明教授在文[19]中建立了一个新的模糊自动机模型,即格值自动机,在一个比以往研究的模......
本文主要研究了重新编码后的正则语言和序列的一些性质。语言是定义在一个字母表上的字符串的集合。所谓对语言和序列进行重新编码......
学位
针对当前的一些正则语言的判断方法,本文指出了其中的不足之处,在右同余等概念的基础上,通过在语言的符号集中引入等价关系,提出了......
为了探讨格值模糊自动机等价的条件，采用对偏序格半群加以限制的方法，将格值模糊有限自动机划分为确定的、序列型的、无歧义的、有限......
通常关于正则语言的泵引理，常被用来证明某些特殊的语言不是正则语言，但这种论证方法对有些非正则语言不能适用，本文介绍几个广义的泵......
针对当前的一些正则语言的判断方法，本文指出了其中的不足之处，在右同余等概念的基础上，通过在语言的符号集中引入等价关系，提出了判断......
正则语言的空性判定方法除了传统的标记法外,还有另一种方法,那就是利用最短路径算法。通过对路径的判断,来证明正则语言的空性是......
首先给出异步自动机半群的定义,并讨论其基本性质.证明了如下结果：异步自动机半群的字问题在指数时间内可解,任一异步自动机半群具......
<正> 设X为有限字母表,X~*是X生成的自由幺半群.X~*的子集合称为X上的语言,X~*的元素称为X上的字,特别地,X~*的单位元称为空字,记......
通常的关于正则语言的泵引理实际上是刻划了某语言为正则语言的必要条件，本文通过修改这个必要条件，得到了关于正则语言的充分必要条......
V是一个字母表。FV是V上的一个自由半群,R是FV的一个子集。首先,提出了(V,R)-半群的概念,证明了图半群和有向图半群都是(V,R)-半群......
本文研究了含Clifford半群的自动性．利用几何性质与代数性质相结合的方法，获得了在一定条件下，含幺Clifford半群S是自动化的，它的所有......
给出经典双向有穷自动机的即时描述,接受（识别）的语言及双向有穷自动机和有穷自动机是等价的,证明它接受的语言是正则语言。由此,把......
通常的逻辑学教材都会讲到一阶语言是一种形式语言，但是所讲的形成规则一般都是规定什么是公式，而非如何构造公式。而本文从乔姆斯基......
为了给出本文的主要结果,首先引进了由有穷字母表∑上的ω~-语言所确定的集合∑~ω上的ω-Nerode等价关系的概念.在此基础上证明了......
本文利用模型论博奕理论的方法证明了Ｌ（Ｐ＾１，１）能够刻画正则语言。由此我们得了结论：在有限的离散线性序上Ｌ（Ｐ＾１，１）和Ｍｏｎａｄｉｃ二阶逻辑的刻画能力是一致的。......
本文给出一个判定∑上的任意串s是否为一正则语言L中某个串的子串的算法,即设s为∑上的任一串,L是∑上的任一正则语言,则s为L中某......
Myhill_Nemde定理利用等价关系描述了正则语言的一个重要特征，它是有限自动机理论中的一个经典、优美的结果。为了将Myhill-Nerode......
通过引入等价性原则，简化了对正则语言判定的步骤，并在有限自动机的状态集上引入等价关系，利用等价归并算法将给定的自动机中的等价状......
提出了一种用有限状态自动机(FA)来描述黑白数字图像的方法。对一幅给定的黑白数字图像,可以用正则语言来表示它的像素地址,反之,......
本文对同一语言在不同进制的表示下正则性的问题进行了研究,证明了当p与q互质的时候,存在这样的语言L,使得L在p进制表示下是正则语......
给出了有限自动机的一般定义M=（Q,Σ,R,q0,F）,其中R（Q×（Σ∪{ε}））×Q,特别地,如果R：Q×Σ→Q,则M是确定性有限自动机,该定......
基于泵引理和正则语言的代数判定定理,本文证明了正则语言的子集未必是正则语言。以L={x|x∈{0,1}^*,且x中(10)和(10)作为子串出现......
引入了等价性原则，定义等价关系的商集合互∑^＊／～B，通过对商集合的有限性判断，来判定正则语言，大大简化了正则语言判定的步骤，并在有穷自动......
本文给出了正则语言的并与交的指数及内、外指数估计的上界,并且用实例指出了这种估计的最佳性。......
本文用构造的方法严格证明了识别正则语言三种非正则运算的确定型有穷自动机的存在性,进而得出正则语言类在非正则运算"∩"、"-"以......
利用泵引理原理，先对A2={ωωω｜ω∈{0，1}^＊}，A3={ω^k｜ω∈{0，1}^＊，k≥2，k∈N}是非正则语言进行了证明，在此基础上，进一步证明了A={μω^kv}｜......
从正则语言的代数结构出发,利用Rough集理论对正则语言进行了扩充.提出了下(上)粗糙正则语言的概念,并给出了它们存在的条件,以及......
讨论了理想正则语言与语言的Ｃｈｏｍｓｋｙ层次及Ｓ－正则语言类之间的关系。...
