×
艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金

带有输出的自动机的模式逻辑。 （英语） Zbl 1458.68097号

发现的国际期刊。计算。科学。 31,6号，711-748（2020）.
摘要：我们引入了一种逻辑来表示自动机的结构属性，其中包含字符串输入，也可能包含某些幺半群的输出。在这个逻辑中，谈论输出值的谓词集是参数化的。然后我们考虑三种特殊的自动机模型（有限自动机、换能器和由整数加权的自动机，这里称为sum-automata），并为每个模型实例化通用逻辑。根据公式是否固定，我们给出了关于模型选择问题的三种逻辑的严格复杂性结果。我们通过表达经典结构模式来研究逻辑的可表达性，例如，在有限自动机情况下的有限模糊性和多项式模糊性，在换能器和和自动机的情况下的可确定性和有限值。由于我们的复杂性结果，我们直接获得了这些经典性质可以在多项式时间内决定。

MSC公司：

65年第68季度 形式语言和自动机
03B70号 计算机科学中的逻辑
65年第68季度 算法和问题复杂性分析
第68季度第60季度 规范和验证（程序逻辑、模型检查等）

关键词：

自动机;逻辑;结构模式;模型检查
PDF格式BibTeX公司 XML格式引用
\textit{E.Filiot}等人，国际法学研究所。计算。科学。31，第6号，711--748（2020；Zbl 1458.68097）
全文： 内政部

参考文献：

[1] Allauzen，C.和Mohri，M.，《测试双胞胎属性的高效算法》，J.Automata，《语言与组合学》8（2）（2003）117-144·兹比尔1089.68049
[2] Allauzen，C.、Mohri，M.和Rastogi，A.，《测试有限自动机模糊度和有限状态传感器双带模糊度的通用算法》，国际期刊Found。计算。科学22（4）（2011）883-904·Zbl 1216.68139号
[3] Bala，S.和Koninski，A.，《表示有限序列函数的无歧义自动机》，《语言与自动机理论与应用——第七届国际会议》，LATA 2013，《会议记录》，西班牙毕尔巴鄂，2013年4月2-5日（2013），第104-115页·Zbl 1377.68103号
[4] Béal，M.和Carton，O.，有限和无限单词上换能器的确定，Theor。计算。《科学》289（1）（2002）225-251·Zbl 1061.68088号
[5] Béal，M.、Carton，O.、Prieur，C.和Sakarovitch，J.，《平方传感器：决定功能性和顺序性的有效程序》，Theor。计算。《科学》第292（1）（2003）45-63页·Zbl 1064.68050号
[6] Berstel，J.，《转喻和无语境语言》，第38卷（Teubner，1979年）·兹比尔0424.68040
[7] Choffrut，C.，《联合国对因果关系的描述》，Theor。计算。科学5（3）（1977）325-337·Zbl 0376.94022号
[8] Choffrut，C.和Schützenberger，M.P.，《合理功能的组成》，STACS 86，第三届计算机科学理论方面年度研讨会，法国奥尔赛，1986年1月16日至18日，第213-226页·Zbl 0605.68071号
[9] 库珀，D.C.，《无乘法算术定理证明》，《机器智能》7（1）（1972）91-99·Zbl 0258.68046号
[10] L.Daviaud，I.Jecker，P.Reynier和D.Villevalois，加权自动机的序列度，软件科学和计算结构基础-第20届国际会议，FOSSACS 2017，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2017，Proceedings，Uppsala，Sweden，2017年4月22日至29日，第215-230页·Zbl 1396.68075号
[11] Figueira，D.和Libkin，L.，《查询图形的路径逻辑：结合表现力和效率》，第30届ACM/IEEE计算机科学逻辑研讨会，LICS 2015，日本京都，2015年7月6日至10日，第329-340页·Zbl 1401.68061号
[12] Filiot，E.，Gentilini，R.和Raskin，J.，《有限值加权自动机》，第34届软件技术和理论计算机科学基础国际会议，2014年12月15日至17日，印度新德里，（2014），第133-145页·Zbl 1360.68554号
[13] Filiot，E.、Gentilini，R.和Raskin，J.，《功能自动机定义的定量语言》，《计算机科学中的逻辑方法》11（3）（2015）·Zbl 1448.68263号
[14] Filiot，E.、Mazzocchi，N.和Raskin，J.，《带输出的自动机的模式逻辑》，语言理论的发展——第22届国际会议，DLT 2018，会议记录，日本东京，2018年9月10日至14日（2018），第304-317页·Zbl 1458.68096号
[15] Griffiths，T.V.，无lambda不确定广义机等价问题的不可解性，J.ACM15（3）（1968）409-413·Zbl 0162.02302号
[16] Gurari，E.M.和Ibarra，O.H.，关于有限值和有限模糊变换器的注释，数学系统理论16（1）（1983）61-66·Zbl 0502.68022号
[17] Jecker，I.和Filiot，E.，《语序词关系》，《国际期刊》。计算。科学29（2）（2018）271-296·Zbl 1387.68157号
[18] Klaedtke，F.和Rueß，H.，具有基数的一元二阶逻辑，自动机，语言和编程，第30届国际学术讨论会，ICALP 2003，荷兰埃因霍温会议记录，2003年6月30日至7月4日（2003），第681-696页·Zbl 1039.03004号
[19] Kozen，D.，《自然证明系统的下限》，第18届计算机科学基础年度研讨会，美国罗德岛州普罗维登斯，1977年10月31日至11月1日，第254-266页。
[20] A.W.Lin，《模型检验无限状态系统：通用和专用方法》，爱丁堡大学博士论文（2010年）。
[21] Rosser，B.，第n个素数大于第n个素数，《伦敦数学学会会刊》（1939），第21-44页·JFM 64.0100.04号
[22] Sakarovitch，J.和de Souza，R.，《关于传感器有界值的可判定性》，《2008年计算机科学数学基础》，第33届国际研讨会，2008年MFCS，《会议记录》，波兰托伦，2008年8月25日至29日（2008），第588-600页·Zbl 1173.68557号
[23] Sakarovitch，J.和de Souza，R.，（k）值变换器的词汇分解，理论计算。系统47（3）（2010）758-785·Zbl 1204.68124号
[24] Scarpellini，B.，presburger算术子类的复杂性，美国数学学会284（1）（1984）203-218·Zbl 0548.03018号
[25] Stearns，R.E.和Hunt，H.B.，《关于明确正则表达式、正则文法和有限自动机的等价性和包含问题》，SIAM J.Compute.14（3）（1985）598-611·Zbl 0577.68074号
[26] 韦伯，A.，《有限传感器的价值》，Acta Inf.27（8）（1990）749-780·兹比尔0672.68027
[27] Weber，A.，《分解有限值换能器并确定其等效性》，SIAM J.Compute.22（1）（1993）175-202·Zbl 0767.68079号
[28] Weber，A.和Klemm，R.，《单值传感器描述的经济性》，《国际计算》118（2）（1995）327-340·Zbl 0826.68065号
[29] Weber，A.和Seidl，H.，关于有限自动机的模糊度，Theor。计算。《科学》88（2）（1991）325-349·Zbl 0738.68059号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。