共查询到20条相似文献,搜索用时 52 毫秒
1.
本文提出了一种新的ω-识别模型:ω-循环自动机及其循环接受条件,给出了ω-循环自动机在该接受条件下所接受的ω-语言类的集合表示。 相似文献
2.
3.
本文提出了一类交替的ω-有穷自动机,即所有状态都是万能的交替的ω-有穷自动机(记为ω-UAFA),并采用了构造的方法证明了ω-UAFA和确定的ω-有穷自动机在四种接受条件下接受的ω-语言的等价性。 相似文献
4.
关于ω—有穷自动机的两个新的接受条件 总被引:1,自引:0,他引:1
至今被公开的ω有穷自动机的接受条件有6个即C1-C6,寻找新的接受条件和研究ω-有穷自动机关于新接受条件接受ω-语言能力是ω有穷自动机理论中的一个重要课题。本定义了ω有穷自动机的两个新的接受条件Z1和Z2,并且研究了:(1)ω-U-NFA关于Zi(i=1,2)接受ω-语的能力。 相似文献
5.
ω-语言是由有穷字线靖Σ上的一些无穷串组成的集合,被ω-有穷自动机接受的ω-语言称为ω-正则语言,作者曾从集合的角度描述了一类ω-正则语言,而不是传统地从生成或识别的角度来描述这一类正则语言,本文从集合的角度来描棕更为广泛的一类ω-正则语言。 相似文献
6.
本文提出了一类交替的ω-有穷自动机,即所有状态都是万能的交替的ω-有穷自动机,并采用了构造的方法证明了ω-UAFA和确定的ω-有穷自动机在四种接受条件下接受的ω-语言的等价性。 相似文献
7.
关于有ω-穷自动机的两个新的接受条件* 总被引:1,自引:0,他引:1
至今被公开的ω-有穷自动机的接受条件有6个即C1—C6,寻找新的接受条件和研究ω-有穷自动机关于新接受条件接受ω-语言的能力是ω-有穷自动机理论中的一个重要课题.本文定义了ω-有穷自动机的两个新的接受条件Z1和Z2,并且研究了:(1)ω-U—NFA关于Zi(i=1,2)接受 ω-语言的能力,得到了 N 相似文献
8.
9.
10.
本定义了ω幂上下无关语言ω-p-cfl和一类ω下推自动机ω-pda,给出了它们的关系,借助于ω时序转换器ω-ST,讨论了ω-p-cfl类的某些封闭性质,证明了对于ω-p-cfl类ζ,ξ(δ)={S(A)|A∈ζ,S是一个ω-ST}={h2(h^-11(A)∩R)|A∈ξ,R是一个ω正规语言,h1是一个同态,以及h2是一个λ无关同态}。 相似文献
11.
12.
13.
庄雷 《计算机研究与发展》1994,(10)
本文通过在Σω上定义半序关系“≤ωs,引进了S广义ω-左凸语言、S广义ω-右凸语言和S厂义ω-凸语言的概念,并给出了各类S广义ω-凸语言与其前缀语言之间的关系;还给出了各类S厂义ω-凸语言族对布尔运算的封闭性以及各类S广义ω-凸语言的充分必要条件。 相似文献
14.
15.
16.
17.
本文定义了ω幂上下文无关语言ω—P— cfl和一类ω下推自动机ω—pda,给出了它们
的关系.借助于ω时序转换器ω—ST,讨论了ω—p—cfl类的某些封闭性质,证明了对于ω—p—cfl类L,m(L)={s’(A)|A∈s'是一个ω—ST)=(h2(h1-1(A)∩R)|A∈L,R是一个ω正规语言,h1相似文献
18.
关于ω—正则语言类的一个子类的特征 总被引:1,自引:0,他引:1
为了给出本文的主要结果,首先引进了由有穷字母表∑上的ω~-语言所确定的集合∑~ω上的ω-Nerode等价关系的概念.在此基础上证明了∑上的与前缀逆相关的ω~-语言是ω~-正则语言,当且仅当由它所确定的ω-Nerode等价关系的指数有穷.从而,本文从代数、集合的角度给出了在∑上的与前缀逆相关的一类ω~-语言中,ω~-正则语言的特征. 相似文献
19.
本文引入了ω-HTB文法及其秩的概念,证明了ω-HTB语言和ω超线性语言是同一语言类,给出了ω-NTB文法秩的若干重要性质。 相似文献
20.
模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊Büchi自动机与具有分明初始状态和状态转移函数且具有模糊终状态的模糊Büchi自动机是等价的,藉此研究了模糊ω-正则语言的代数刻画和层次刻画,讨论了模糊ω-正则语言关于正则运算的封闭性;其次引入单体二阶(L)ukasiewicz逻辑的概念,给出模糊Büchi自动机识别语言的等价逻辑刻画;最后通过引入ω-星自由和ω-非周期模糊ω-语言,利用“层次化”处理技巧得到了多值逻辑意义下的分类定理,对模糊ω-正则语言给出了一种分类方法. 相似文献