History-deterministic Parikh automata (HDPA) represent a new class of languages, offering a balance between expressiveness and computational feasibility by restricting nondeterminism in Parikh automata.
히스토리 결정적 Parikh 오토마타(HDPA)는 결정적 Parikh 오토마타(DPA)보다 표현력이 뛰어나지만 비결정적 Parikh 오토마타(PA)보다는 표현력이 떨어지는 새로운 종류의 오토마타입니다. HDPA는 DPA의 거의 모든 클로저 속성을 만족하며 안전성 모델 검사와 같은 특정 결정 문제를 해결하는 데 적합합니다.
歷史決定性 Parikh 自動機 (HDPA) 比確定性 Parikh 自動機 (DPA) 更具表達能力,但表達能力不如非確定性 Parikh 自動機 (PA),且與非確定性 Parikh 自動機的兩種變體——明確約束自動機 (UCA) 和弱明確 Parikh 自動機 (WUPA)——的表達能力均不相同。