交替时钟自动机
摘要：关于交替定时自动机的概念被提出。我们证明了仅含一个时钟的这种自动机对于有限字串的空集问题是可判定的。这给出了一个闭合于布尔运算且有有效表示的定时语言的新类。我们证明了具有一个时钟的交替定时自动机的空集问题的复杂度是非原始递归的。证明也同时给出了具有一个时钟的非确定性定时自动机的普遍性问题的相同下界。我们研究了模型的ε-转换扩展并证明了空集问题是不可判定的。对于无限字串，我们证明了普遍性问题是不可判定的。
作者：Slawomir Lasota and Igor Walukiewicz
论文ID：cs/0512031
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23