排序方式: 共有22条查询结果,搜索用时 15 毫秒
1.
2.
3.
关于ω—有穷自动机的两个新的接受条件 总被引:1,自引:0,他引:1
至今被公开的ω有穷自动机的接受条件有6个即C1-C6,寻找新的接受条件和研究ω-有穷自动机关于新接受条件接受ω-语言能力是ω有穷自动机理论中的一个重要课题。本定义了ω有穷自动机的两个新的接受条件Z1和Z2,并且研究了:(1)ω-U-NFA关于Zi(i=1,2)接受ω-语的能力。 相似文献
4.
5.
6.
7.
对时间自动机的转换系统进行改进,提出了一个状态空间的极小化构造方法。该方法用位置和停留在该位置时的可能时钟值集合来表示状态,以此隐藏因时间流逝而引发的无穷状态,得到了改进的转换系统——时间段转换系统;并通过对转换可能发生时间的分析,去除无效转换;然后使用转换互模拟合并等价状态,实现了状态空间的极小化,有效地避免了状态空间爆炸。 相似文献
8.
本文提出了一类交替的ω-有穷自动机,即所有状态都是万能的交替的ω-有穷自动机(记为ω-UAFA),并采用了构造的方法证明了ω-UAFA和确定的ω-有穷自动机在四种接受条件下接受的ω-语言的等价性。 相似文献
9.
10.
本文提出了一种新的ω-识别模型:ω-循环自动机及其循环接受条件,给出了ω-循环自动机在该接受条件下所接受的ω-语言类的集合表示。 相似文献