对于可转置的混合线性关系存在$omega$-链和其应用
摘要：可判定一个传递的混合线性关系是否有omega链。利用这个结果，我们研究了广义定时自动机的几个活性验证问题，建立了一个统一的框架。更确切地说，我们证明了：(1) 具有密集时钟、反转有界计数器和自由计数器的定时自动机的混合线性活性问题是可判定的；(2) 具有离散时钟、反转有界计数器和下推栈的定时自动机的Presburger活性问题是可判定的。
作者：Zhe Dang and Oscar Ibarra
论文ID：cs/0110063
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23