正则语言相关论文
本文研究了含幺Cliford半群的自动性.利用几何性质与代数性质相结合的方法,获得了在一定条件下,含幺Cliford半群S是自动化的,它的......
本文主要利用solid码和句法同余研究语言.首先,在l（S）上定义运算*,其中S为字母表A上一 solid码.证明了（l（S）,*）为一幺半群,并对其幂等元......
本文在自动机理论的基础上，研究了表示正则语言的确定型有限自动机的最小化填表算法和确定型有限自动机经并、交运算后的最小化问题......
本文主要介绍了图自动机半群的概念,它是Cayley图自动机群的推广,也是自动机半群的推广.自动机半群与图自动机半群之间一个最大区......
本文分为两部分.在形式语言学中,一个经典的结果是：两个字{x,y}组成的语言是码的充分必要条件是xy≠yx.三个字组成的语言{x,y,z}是......
本文研究的主要内容是格值文法及其语言。李永明教授在文[19]中建立了一个新的模糊自动机模型,即格值自动机,在一个比以往研究的模......
正则语言的空性判定方法除了传统的标记法外,还有另一种方法,那就是利用最短路径算法。通过对路径的判断,来证明正则语言的空性是......
首先给出异步自动机半群的定义,并讨论其基本性质.证明了如下结果：异步自动机半群的字问题在指数时间内可解,任一异步自动机半群具......
V是一个字母表。FV是V上的一个自由半群,R是FV的一个子集。首先,提出了(V,R)-半群的概念,证明了图半群和有向图半群都是(V,R)-半群......
本文研究了含Clifford半群的自动性．利用几何性质与代数性质相结合的方法，获得了在一定条件下，含幺Clifford半群S是自动化的，它的所有......
给出经典双向有穷自动机的即时描述,接受（识别）的语言及双向有穷自动机和有穷自动机是等价的,证明它接受的语言是正则语言。由此,把......
通常的逻辑学教材都会讲到一阶语言是一种形式语言，但是所讲的形成规则一般都是规定什么是公式，而非如何构造公式。而本文从乔姆斯基......
Myhill_Nemde定理利用等价关系描述了正则语言的一个重要特征，它是有限自动机理论中的一个经典、优美的结果。为了将Myhill-Nerode......
通过引入等价性原则，简化了对正则语言判定的步骤，并在有限自动机的状态集上引入等价关系，利用等价归并算法将给定的自动机中的等价状......
提出了一种用有限状态自动机(FA)来描述黑白数字图像的方法。对一幅给定的黑白数字图像,可以用正则语言来表示它的像素地址,反之,......
给出了有限自动机的一般定义M=（Q,Σ,R,q0,F）,其中R（Q×（Σ∪{ε}））×Q,特别地,如果R：Q×Σ→Q,则M是确定性有限自动机,该定......
引入了等价性原则，定义等价关系的商集合互∑^＊／～B，通过对商集合的有限性判断，来判定正则语言，大大简化了正则语言判定的步骤，并在有穷自动......
本文用构造的方法严格证明了识别正则语言三种非正则运算的确定型有穷自动机的存在性,进而得出正则语言类在非正则运算"∩"、"-"以......
利用泵引理原理，先对A2={ωωω｜ω∈{0，1}^＊}，A3={ω^k｜ω∈{0，1}^＊，k≥2，k∈N}是非正则语言进行了证明，在此基础上，进一步证明了A={μω^kv}｜......
从正则语言的代数结构出发,利用Rough集理论对正则语言进行了扩充.提出了下(上)粗糙正则语言的概念,并给出了它们存在的条件,以及......
<正> 形式语言理论是计算机科学的一个重要分支,这一领域是在1956年前后形成的。那时,Noam Chomsky 在他的自然语言的研究中给出了......
命名实体识别与翻译是机器翻译的重要组成部分。本文使用基于语料库的方法,挖掘提取语料库中数字、时间日期、数量词的表达模式,并......
自然语言由字母集、单词集、句子集、段落集和文章集5部分组成,而且,字母集包含于单词集,单词集包含于句子集,句子集包含于段落集,......
本文讨论了正则语言的特征标c以及它的生成正则文法的变量个数n和其接受有限自动机的状态个数S（NM）之间的关系。得到了不等式n≥[log......
