Concetti Chiave
履歴決定性 Parikh オートマトン (HDPA) は、決定性 Parikh オートマトン (DPA) よりも表現力が高いが、非決定性 Parikh オートマトン (PA) よりも表現力が低い、Parikh オートマトンの新しいクラスである。
Sintesi
履歴決定性 Parikh オートマトンに関する研究論文の概要
Erlich, E., Grobler, M., Guha, S., Jecker, I., Lehtinen, K., & Zimmermann, M. (2024). History-deterministic Parikh Automata. arXiv preprint arXiv:2209.07745v3.
本論文では、有限オートマトンにカウンターを付加した計算モデルである Parikh オートマトンの制限付き非決定性の一種である、履歴決定性 Parikh オートマトン (HDPA) の表現力、閉包性、アルゴリズム的性質について調査する。