奥利维·芬克尔 关于时间自动机的不确定问题。 （英语） Zbl 1141.68433号 Asarin，Eugene（编辑）等人，《时间系统的形式化建模和分析》。第四届国际会议，FORMATS 2006，巴黎，法国，2006年9月25-27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45026-9/pbk）。计算机科学讲义4202187-199（2006）。 小结：我们解决了由提出的时间自动机的一些决策问题S.特里帕基斯[“关于时间自动机的确定和最小化的民间定理”，Lect.Notes Compute.Sci.2791182-188（2004；Zbl 1099.68648号)]和依据E.阿萨林[《时间语言的挑战：从应用理论到基础理论》，《欧洲计算机科学协会公牛》，EATCS 83，106–120（2004）]。特别地，我们证明了人们无法决定给定的时间自动机是否是可确定的，或者时间正则语言的补码是否是时间正则的。我们证明了时间自动机的时钟数量最小化问题是不可判定的。两种定时正则语言的洗牌是否为定时正则也是不确定的。我们证明，在时间Büchi自动机接受无限时间词的情况下，其中一些问题是（Pi_{1}^{1}）-难的，因此是高度不可判定的（位于算术层次之外）。关于整个系列，请参见[Zbl 1137.68001号]. 引用于19文件 MSC公司： 65年第68季度 形式语言和自动机 03天35分 句子集的不确定性和程度 关键词：时间自动机;定时Büchi自动机;定时常规语言;决策问题;普遍性问题;可决定性;互补性;洗牌操作;最小化时钟数 引文：Zbl 1099.68648号 PDF格式BibTeX公司 XML格式引用 \textit{O.Finkel}，莱克特。注释计算。科学。4202187-199（2006年；Zbl 1141.68433） 全文： 内政部 arXiv公司