Fabrice骑士;迪帕克·D’Souza;帕维特拉·普拉巴卡 无计数器输入确定的时间自动机。 （英语） Zbl 1142.68039号 Raskin，Jean-François（编辑）等，时间系统的形式化建模和分析。第五届国际会议，FORMATS 2007，奥地利萨尔茨堡，2007年10月3-5日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75453-4/pbk）。计算机科学课堂讲稿4763，82-97（2007）。 摘要：我们确定了一类时间自动机，我们称之为无计数器输入确定自动机，它描述了由文献中的几个时间时序逻辑（包括MTL）定义的时间语言类。我们利用这个特征来证明MTL+Past对于时间词的周期序列满足“最终稳定性”属性。我们的结果适用于逐点语义和连续语义。在此过程中，我们推广了McNaughton-Papert的结果，以显示FO-定义的有限变函数的无反自动机特征。关于整个系列，请参见[Zbl 1138.68007号]. 引用于4文件 MSC公司： 65年第68季度 形式语言和自动机 03B44号 时间逻辑 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevalier}等人，Lect。注释计算。科学。4763，82-97（2007；Zbl 1142.68039） 全文： 内政部