有关正规语言的几个结果

深入地讨论正规语言的几个基本问题——存在性问题、正规语言代数问题和正规闭语言问题等，并分别得到了结果。

正规语言闭包运算的Petri网构造方法

Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri网子类——恰当终结的标准Petri网,并且已经证明恰当终结的标准Petri网语言与正规语言的等价性。在此基础上,研究了正规表达式中Kleene闭包运算"*"的Petri网构造方法,分别给出了Kleene闭包运算"*"的ε-空标注和无ε-空标注Petri网模型的构造方法。该构造方法可由产生正规语言L的网模型直接得到产生正规语言L*的网模型。证明了对于恰当终结的标准Petri网,正规语言闭包运算"*"的构造是封闭的。

稠密正规语言的S.Y猜想的一些等价刻划

一个语言称为正规的如果它可被一台有限自动机识别 .一个语言称为稠密的如果每个字都是该语言中某个字的一个小字 .一个非空字称为本原的 ,如果此字不是其他任一字的幂 ,否则称此非空字为非本原字 .Shyr和 Yu在 [3]中给出如下猜想 :每个稠密正规语言都包含一个非本原字 .如果能给出 S.Y猜想在半群理论及码论中的等价陈述 ,则可把稠密正规语言的问题归结为半群理论及码论中的问题 ,从而为解决 S.Y猜想提供了更多的途径 .

Rees定理在稠密正规语言中的一个应用

称可被有限自动机识别的语言为正规语言 .字母表 A上的语言 L称为稠密的 ,如果 A*中每个字都是 L中字的子字 .不能写为其他字的幂的非空字称为本原字 ,不是本原字的非空字称为非本原字 .Shyr等提出如下猜想 :每个稠密正规语言中含有非本原字 ,本文利用

英语网络非正规语言表达的自动识别与术语库构建

网络非正规语言表达(Network Informal Language Expression, NILE)具有的创新性强、超常规化、表达方式口语化等特点,为许多自然语言处理任务带来了挑战。在使用网络语言进行交流的过程中,部分网络非正规语言表达逐渐标准化和规范化,形成网络非正规语言表达术语。通过对46万余条Twitter数据的收集、处理和分析,英语网络非正规语言表达可以在音、形、义层面划分为13类,并对其特征进行分析和总结。结合统计方法和规则方法的优点,设计了统计和规则融合的英语网络非正规语言表达自动识别方法。最终构建规模为7000余条的网络非正规语言表达术语库。

Petri网语言的Pumping引理

Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正规语言,因此,正规语言的Pumping引理对此语言是有效的,但正规语言的Pumping引理并不适用于所有的Petri网语言.文中给出了一种Petri网语言的Pumping引理,证明其对任意无空标注的Petri网语言都有效,并且正规语言的Pumping引理是此引理的一种特殊形式.利用此Pumping引理可以证明某些语言是不能由Petri网产生的.

正规表达式与恰当终结的标准Petri网

给出了一种较特殊的Petri网子类——恰当终结的标准Petri网,可以证明恰当终结的标准Petri网产生的语言是正规语言,反之任一正规语言都可由恰当终结的标准Petri网产生。研究了恰当终结的标准Petri网语言关于连接运算"o"、选择(并)运算"∪"、kleene闭包运算"*"、并行运算"∥"的性质,给出了用恰当终结的标准Petri网(带空标注)模拟和带并发算子的正规表达式的方法。

从粒子角度研究164号元胞自动机的极限语言复杂性

通过定义164号元胞自动机的基本粒子,找到了粒子的逆演化规律,从而完全确定了其极限语言,并证明了164号元胞自动机的极限语言是正规的。结果表明:用有限自动机就可以接收该极限语言。

122号元胞自动机的演化语言复杂性

研究了122号初等元胞自动机的演化语言,证明了其宽度为1的演化语言是正规的,宽度大于1的演化语言不是正规的。结果表明:仅用有限自动机是无法接受由122号初等元胞自动机产生的演化语言。

正规表达式与恰当终结的标准Petri网(英文)

已知一个语言表达式或语言的集合,如何构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。为解决这个问题,引入一种称为恰当终结的标准Petri网模型。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算""、选择(并)运算"+"、kleene闭包运算"+"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法。作为对传统形式语言的有益补充,还给出了带并发算子的正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法。

正规表达式到无空标注Petri网的构造方法

已知一个语言表达式或语言的集合,如何直接构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。语言表达式到Petri网(无ε-空标注)的转换算法更有难度。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算、选择(并)运算、闭包运算、并行运算的性质,在此基础上给出正规表达式到无ε-空标注的恰当终结的标准Petri网的转换算法。作为对传统形式语言的有益补充,还给出了带并发算子"//"的正规表达式到恰当终结的标准Petri网(无ε-空标注)的转换算法。

Petri网语言与传统形式语言的关系

本文介绍了一种形式语言—Petri 网语言,并讨论了 Petri 网语言与传统形式语言(正规语言、上下文无关语言、上下文有关语言以及递归枚举语言)的关系。

量子自动机的刻画

澄清了各类量子自动机之间的相互关系,并给出了量子自动机的各种等价刻画定理.引入G-量子自动机、g-量子自动机、(广义)量子自动机及G-量子文法和g-量子文法,并阐明了它们与其他量子自动机之间的等价关系.在一定条件下讨论了G(g)-量子自动机与G(g)-量子文法的等价性,从而解决了关于量子文法产生量子正规语言的问题.讨论了量子语言与正规语言的关系,特别是回答了Gudder提出的两个公开问题.最后,给出了一种减少状态空间维数的方法.

堵还是疏 “网话”转正之路

一直以来，围绕网络语言能否跻身正规语言行列的争论从未中断，但对于具体哪一类网络词汇可以“转正”也没有定论。现今，报刊杂志上随处可见的“给力”表明，网络语言已经不再是曾经的“小众语言”，这些越来越频繁使用的网络语言，是否能真正踏上“转正”之路呢？

让孩子聪明八法

一、不浪费幼儿的智力。当幼儿呀呀学语时,就教他正规语言,譬如不要把小猫说成“妙妙”等。 二、从小培养思维能力。经常提出问题,让孩子思考回答。 三、锻炼记忆。给孩子讲完一个故事要让孩子自己复述一遍。

英语教学中的输入问题

输入指任何语言接触.这种接触可来自课堂上的正规语言学习,来自阅读材料、交际体验等等.本文主要探讨英语教学中的语言输入问题.

网络语言,我们能拒绝吗

时下,网络交流已日益成为现代都市人生活中的一部分。而别具一格的网络语言也开始逐步走进我们的生活。网络上的另类语言如今,网上的新词可谓是“满天飞舞”,如果你不了解网络语言,就很难被视作真正的网民。

儿语 可取不可取?

很多早教的观点都提倡家长不要学宝宝说"儿语",旨在要给他营造一个自然、真实的语言环境,避免影响宝宝的语言发展。事实果真如此吗?儿语,究竟是可取还是不可取?