帕里克自动机与无穷字
摘要：有限字上的Parikh自动机首先由Klaedtke和Rue[Automata, Languages and Programming, 2003]引入。在本文中，我们介绍了无限字上的Parikh自动机的几个变种，并研究它们的表达能力。我们展示了我们的一个新模型等价于Fernau和Stiebe [Fundamenta Informaticae, 2008]引入的同步盲计数机。我们所有的模型都允许ε消除，据我们所知，这对于盲计数自动机来说是一个开放的问题。然后我们研究了新自动机模型的经典决策问题。
作者：Mario Grobler, Leif Sabellek, Sebastian Siebertz
论文ID：2301.08969
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-01-24