阿梅利·施泰纳 健忘时间自动机中的频率。 （英语） Zbl 1375.68074号 Jurdziñski，Marcin（ed.）等人，时间系统的形式化建模和分析。2012年9月18日至20日，第十届国际会议，FORMATS 2012，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33364-4/pbk）。计算机科学课堂讲稿7595236-251（2012）。 摘要：基于运行频率的时间自动机中无限时间词的定量语义在[the author et al.，Lect.Notes Compute.Sci.6756246–257（2011；Zbl 1333.68158号)]. 不幸的是，由于这些技术不允许处理时钟之间收敛的一些现象，因此大多数结果仅针对单时钟时间自动机获得。另一方面，遗忘循环的概念被引入[N.巴斯特和E.阿萨林，莱克特。注释计算。科学。6919, 113–128 (2011;Zbl 1348.68091号)]在时间语言的熵的上下文中，似乎可以准确地检测到这些收敛。在本文中，我们研究了遗忘的概念如何有助于将频率集的计算扩展到时钟时间自动机。有关整个系列，请参见[Zbl 1251.68022号]。 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 引文：Zbl 1333.68158号;Zbl 1348.68091号 PDF格式BibTeX公司 XML格式引用 \textit{A.Stainer}，莱克特。注释计算。科学。7595236--251（2012年；Zbl 1375.68074） 全文： 内政部 哈尔