帕维尔·克查尔；拉德克·佩拉内克 关于定时系统的采样语义。 （英语） Zbl 1172.68537号 Ramanujam，R.（ed.）等人，FSTTCS 2005：软件技术和理论计算机科学基础。第25届国际会议，印度海得拉巴，2005年12月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30495-9/pbk）。计算机科学课堂讲稿3821310-321（2005）。 摘要：时间系统可以考虑两种类型的语义-时间语义和离散时间语义。它们中最典型的例子是真实语义和采样语义（即具有固定时间步长的离散语义）。我们研究了真实语义和抽样语义在不同行为等价性方面的关系。此外，我们还研究了具有采样语义的秒表自动机可达性问题的可判定性。最后，我们的主要技术贡献是，在一些抽样语义中，时间自动机（omega）语言的非空性是可判定的（这个问题以前被错误地归类为不可判定的）。为了证明这一点，我们使用了时间自动机构型之间可达关系的一个新的特征。关于整个系列，请参见[Zbl 1099.68008号]. 引用于10文件 MSC公司： 第68季度55 计算理论中的语义学 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit{P.Král}和\textit{R.Pelánek}，莱克特。注释计算。科学。3821310-321（2005；Zbl 1172.68537） 全文： 内政部