马西莫·弗朗西切特；Angelo蒙塔纳里 时间粒度的时序逻辑和自动机。 （英语） Zbl 1088.68105号 理论与实践。日志。程序。 4，编号5-6，621-658（2004）. 摘要：在同一现实的不同“粒度级别”上提供和关联时间表示的能力是计算机科学的一个重要研究主题，也是许多应用程序的主要要求，包括形式规范和验证、时间数据库、数据挖掘、问题解决、，和自然语言理解。特别是，将粒度维度添加到时间逻辑中，可以以简洁的方式指定反应系统，其行为可以相对于一组（可能是无限的）不同粒度的时间域进行自然建模。文献中提出了一元二阶继承理论的适当扩展，以捕捉时间粒度的概念。在本文中，我们提供了向下无界层状结构的一元二阶理论，向下无界分层结构是由一个最粗的区域和无限多个精细和精细的区域组成的无限精细结构，以及向上无界层状结构，它由一个最精细的域和无数个更粗糙和更粗糙的域组成，具有表示完整和基本可判定的时间逻辑对应项。我们通过两个步骤获得了这样的结果。首先，我们定义了一类新的组合自动机，称为时间化自动机，它可以被证明是时间化逻辑的自动机理论对应物，并证明了相关的属性，如布尔运算下的闭包、可判定性和与时间逻辑的表达等价性，从组件自动机到时间化自动机的转换。然后，我们利用时间化逻辑和自动机之间的对应关系，将寻找给定时间粒度理论的时间逻辑对应项的任务简化为更容易找到它们的时间化自动机对应项的工作。 引用于5文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B44号 时间逻辑 05年3月 与逻辑问题相关的自动机和形式文法 65年第68季度 形式语言和自动机 关键词：时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.Franceschet}和\textit{A.Montanari}，理论与实践。日志。程序。4，编号5-/621-658（2004年；兹bl 1088.68105） 全文： 内政部