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