自动机理论对加权一阶逻辑的表征
摘要：自从20世纪70年代的McNaughton，Papert和Sch"utzenberger的工作以来，已经知道，一个正则语言可由一阶逻辑定义当且仅当其语法单子群是非周期性的。这一基本逻辑片段的代数特征已被Droste和Gastin在定量情况下进行了扩展，他们处理了多项式模糊加权自动机和加权一阶逻辑的受限片段。在定量设置中，完全的加权一阶逻辑（没有Droste和Gastin关于量词交替的限制）比加权自动机更强大，扩展了具有双向导航、宝石或嵌套功能的自动机来处理它。在这项工作中，我们对这些扩展加权自动机的片段进行特征化，以确切地识别完全的加权一阶逻辑，在自动机是多项式模糊的条件下。
作者：Dhruv Nevatia and Benjamin Monmege
论文ID：2307.14707
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-28