科琳娜·科斯特;清水、顺介;一郎·哈索 定量线性时间逻辑的奇偶自动机。 (英语) Zbl 1433.68212号 Bonchi,Filippo(编辑)等人,第七届计算机科学代数和余代数会议,CALCO 2017年6月14日至16日,斯洛文尼亚卢布尔雅那。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。72,第7条,第18页(2017年)。 摘要:我们对先前提出的基于余代数的定量线性时间逻辑的基于自动机的模型检验进行了研究。我们的结果包括:(i)基于定量奇偶自动机范围概念的这些逻辑语义的自动机理论表征,(ii)对此类自动机的Büchi变体的表达能力的研究,以及对所考虑逻辑片段的表达性的影响,和(iii)在真值域的附加假设下,计算范围的朴素算法。关于整个系列,请参见[兹比尔1376.68006]. 引用于2文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 03B44号 时序逻辑 05年3月 与逻辑问题相关的自动机和形式文法 65年第68季度 形式语言和自动机 关键词:联合布拉格;定量逻辑;线性时间逻辑;奇偶自动机 PDF格式BibTeX公司 XML格式引用 \textit{C.Cêrstea}等人,LIPIcs--Leibniz国际程序。通知。72,第7条,第18页(2017年;Zbl 1433.68212) 全文: 内政部