奥德·马勒;德扬·尼科维奇;阿米尔·普努利 实时时序逻辑：过去、现在、未来。 （英语） Zbl 1175.03009号 Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿3829，2-16（2005）。 摘要：本文试图提高我们对时间语言及其与时间自动机的关系的理解。我们首先给出民间定理的构造性证明，说明由MITL过去片段指定的时间语言可以被确定性时间自动机接受。另一方面，我们证明了MITL未来片段中表达的某些语言是不确定的，并分析了这种不对称的原因。有关整个系列，请参见[Zbl 1097.68008号]. 引用于1审查引用于15文件 MSC公司： 03B44号 时间逻辑 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}等人，Lect。注释计算。科学。3829，2--16（2005；Zbl 1175.03009） 全文： 内政部