正规语言相关论文
本文主要研究分划逻辑在线性序结构上的表达能力及其相关性质，主要创造性工作由以下两部分组成：(1) 将确定型自动机和分划逻辑各类型......
学位
该文证明了每一个W—CFL都可表示为一个W—Dyck语言与—W—正规集之交的一个同态。该文还把TakumiKasai所证明的：每个上下文无关语......
该文以形式语言和自动机为工具,讨论了25个初等合法元胞自动机的语法复杂性.主要由如下八节组成:第一节扼要地介绍元胞自动机的背......
通过定义164号元胞自动机的基本粒子,找到了粒子的逆演化规律,从而完全确定了其极限语言,并证明了164号元胞自动机的极限语言是正......
研究了122号初等元胞自动机的演化语言，证明了其宽度为1的演化语言是正规的，宽度大于1的演化语言不是正规的。结果表明：仅用有限自动......
本文介绍了一种形式语言－Ｐｅｔｒｉ网语言，并讨论了Ｐｅｔｒｉ网语言与传统形式语言（正规语言，上下文无关语言，上下文有关语言以及递归枚举语言）的关系。......
【正】输入指任何语言接触.这种接触可来自课堂上的正规语言学习,来自阅读材料、交际体验等等.本文主要探讨英语教学中的语言输入......
Petri网语言是Petri网理论的重要组成部分，也是系统行为分析的一种重耍的工具．Petri网语言的Pumping引理反映了Petri网语言的共性，可......
澄清了各类量子自动机之间的相互关系,并给出了量子自动机的各种等价刻画定理.引入G-量子自动机、g-量子自动机、(广义)量子自动机......
Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri......
给出了一种较特殊的Petri网子类——恰当终结的标准Petri网，可以证明恰当终结的标准Petri网产生的语言是正规语言，反之任一正规语言......
深入地讨论了正规语言的几个基本问题－－存在性问题、正规语言代数问题和正规闭语言问题等，并分别得到了结果。......
