正向数据语言
摘要：正数据语言是在无限字母表上由可能是非单射重命名的数据值组成的语言。通俗地说，它们模拟了关于等式但不关于不等式的数据值的性质。我们研究了由非确定轨道有限名义自动机识别的正数据语言的类别，它是由Boja'nczyk，Klin和Lasota引入的一种抽象形式的寄存器自动机。我们的主要贡献是提供了一系列等效描述该类别的方法，包括正寄存器自动机，正等式测试的单调二阶逻辑，以及有限可表达的非确定自动机在名义重命名集和预集合上的类别中。
作者：Florian Frank, Stefan Milius, Henning Urbat
论文ID：2304.12947
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-07-24