萨沃米尔·拉索塔;伊戈尔·瓦卢基维奇 交替定时自动机。 （英语） 兹比尔1119.68109 Sassone，Vladimiro（编辑），《软件科学和计算结构基础》。2005年4月4日至8日在英国爱丁堡举行的第八届国际会议FOSSACS 2005，该会议是欧洲软件理论与实践联合会议ETAPS 2005的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25388-2/pbk）。计算机科学课堂讲稿3441250-265（2005）。 摘要：提出了交替时间自动机的概念。结果表明，这种只有一个时钟的自动机存在可判定的空性问题。这给出了一类新的时间语言，它在布尔运算下是封闭的，并且具有有效的表示。我们证明了具有一个时钟的交替时间自动机的空性问题的复杂性是非本原递归的。该证明还为具有一个时钟的非确定性时间自动机的普适性问题提供了相同的下界，从而回答了Ouaknine和Worrell在最近的一篇论文中提出的问题。有关整个系列，请参见[Zbl 1068.68009号]. 引用于7文件 MSC公司： 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{S.Lasota}和\textit{I.Walukiewicz}，莱克特。注释计算。科学。3441，250-265（2005；Zbl 1119.68109） 全文： 内政部