莫舍·瓦尔迪。;皮埃尔·沃尔珀 关于无限计算的推理。 （英语） Zbl 0827.03009 Inf.计算。 115，第1期，第1-37页（1994年）. 作者研究了由有限自动机定义的连接词对无限词的时态逻辑的扩展，并考虑了三种不同的逻辑，对应于自动机的三种不同类型的接受条件。事实证明，这些逻辑都具有相同的表达能力，并且它们的决策问题都是PSPACE完成的。作者还研究了由交替自动机定义的连接词，并表明它们不会增加逻辑的表达能力或决策问题的复杂性。审核人：李翔（贵阳） 引用于174文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 05年3月 与逻辑问题相关的自动机和形式文法 2015年3月1日 计算复杂性（包括隐式计算复杂性） 65年第68季度 算法和问题复杂性分析 65年第68季度 形式语言和自动机 关键词：过程逻辑;时序逻辑的扩展;用有限自动机定义无限词上的连接词;表达能力;决策问题;PSPACE完成;交替自动机;复杂性 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi}和\textit{P.Wolper}，Inf.Compute。115，编号1，1--37（1994；Zbl 0827.03009） 全文： 内政部 链接