Conceitos Básicos
歷史決定性 Parikh 自動機 (HDPA) 比確定性 Parikh 自動機 (DPA) 更具表達能力,但表達能力不如非確定性 Parikh 自動機 (PA),且與非確定性 Parikh 自動機的兩種變體——明確約束自動機 (UCA) 和弱明確 Parikh 自動機 (WUPA)——的表達能力均不相同。
標題:歷史決定性 Parikh 自動機
作者:Enzo Erlich、Mario Grobler、Shibashis Guha、Ismaël Jecker、Karoliina Lehtinen、Martin Zimmermann
發表日期:2024 年 10 月 3 日
本論文旨在探討歷史決定性 Parikh 自動機 (HDPA) 的表達能力、閉包性質和演算法性質。