本文主要研究分划逻辑在线性序结构上的表达能力及其相关性质，主要创造性工作由以下两部分组成：(1) 将确定型自动机和分划逻辑各类型......

文章着眼于教师如何从“三个有利于”出发设计对学生的提问,学生如何运用“六围规则法”参与课堂提问,从而完美地演绎了课堂提问这......

运用符号动力学和形式语言等工具证明 １２２号初等元胞自动机的极限语言不但是非正规的，而且是非上下文无关的． The use of tools such a......

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

研究了122号初等元胞自动机的演化语言，证明了其宽度为1的演化语言是正规的，宽度大于1的演化语言不是正规的。结果表明：仅用有限自动......

一直以来，围绕网络语言能否跻身正规语言行列的争论从未中断，但对于具体哪一类网络词汇可以“转正”也没有定论。现今，报刊杂志上随处......

Petri网语言是Petri网理论的重要组成部分，也是系统行为分析的一种重耍的工具．Petri网语言的Pumping引理反映了Petri网语言的共性，可......

澄清了各类量子自动机之间的相互关系,并给出了量子自动机的各种等价刻画定理.引入G-量子自动机、g-量子自动机、(广义)量子自动机......

Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri......

给出了一种较特殊的Petri网子类——恰当终结的标准Petri网，可以证明恰当终结的标准Petri网产生的语言是正规语言，反之任一正规语言......