Khái niệm cốt lõi
履歴決定性 Parikh オートマトン (HDPA) は、決定性 Parikh オートマトン (DPA) よりも表現力が高いが、非決定性 Parikh オートマトン (PA) よりも表現力が低い、Parikh オートマトンの新しいクラスである。
Tóm tắt
履歴決定性 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) の表現力、閉包性、アルゴリズム的性質について調査する。