有限与无限字上的Parikh自动机
形式语言与自动机理论
2025-11-12 v3 计算机科学中的逻辑
摘要
我们研究有限与无限字上的Parikh自动机。首先建立有限字上Parikh自动机的一些结果。随后，我们给出无限字上Parikh自动机的若干定义。我们考虑确定性与非确定性变体，并研究闭包性质、表达能力和常见判定问题及其在模型检测中的应用。此外，我们将我们的模型与其他在无限字上运行的具有计数机制的模型进行比较。
引用
@article{arxiv.2307.07238,
title = {Parikh Automata on Finite and Infinite Words},
author = {Mario Grobler and Leif Sabellek and Sebastian Siebertz},
journal= {arXiv preprint arXiv:2307.07238},
year = {2025}
}