歷史決定性 Parikh 自動機 (HDPA) 比確定性 Parikh 自動機 (DPA) 更具表達能力,但表達能力不如非確定性 Parikh 自動機 (PA),且與非確定性 Parikh 自動機的兩種變體——明確約束自動機 (UCA) 和弱明確 Parikh 自動機 (WUPA)——的表達能力均不相同。
히스토리 결정적 Parikh 오토마타(HDPA)는 결정적 Parikh 오토마타(DPA)보다 표현력이 뛰어나지만 비결정적 Parikh 오토마타(PA)보다는 표현력이 떨어지는 새로운 종류의 오토마타입니다. HDPA는 DPA의 거의 모든 클로저 속성을 만족하며 안전성 모델 검사와 같은 특정 결정 문제를 해결하는 데 적합합니다.
履歴決定性 Parikh オートマトン (HDPA) は、決定性 Parikh オートマトン (DPA) よりも表現力が高いが、非決定性 Parikh オートマトン (PA) よりも表現力が低い、Parikh オートマトンの新しいクラスである。
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.
本文提出了一種基於圖形的新方法來證明觀察等價性,特別是關於觀察等價性穩健性的推理,其核心概念是利用圖形的局部性,並透過一種稱為「穩健性」的關鍵充分條件來確保等價性。
본 논문에서는 프로그램의 관측 동치성을 증명하기 위해 하이퍼넷 재작성 기반의 새로운 접근 방식을 제시하며, 특히 '초점'이라는 개념을 도입하여 지역 추론을 가능하게 하고, 이를 통해 관측 동치성의 견고성을 분석하는 방법을 제시합니다.
本稿では、プログラムの観察的等価性を証明するための新しい段階的アプローチを提案する。これは、局所的な推論と呼ばれる手法と、観察的等価性の鍵となる十分条件として堅牢性の概念を導入することで実現される。
This paper introduces a novel graph-based approach, utilizing focused hypernet rewriting and the concept of robustness, to prove observational equivalence in functional programming languages, particularly those with effects like state.
본 논문에서는 그래프 스키마 정보를 활용하여 그래프 도달성 문제를 해결하는 새로운 접근 방식을 제안하며, 이를 통해 전통적인 알고리즘에 비해 시간, 공간 요구사항 및 백트래킹 횟수를 줄이는 효율적인 탐색 전략을 제시합니다.
본 논문에서는 타이밍 자동화의 중요한 하위 클래스인 정수 리셋을 갖는 타이밍 자동화(IRTA)에 대한 Myhill-Nerode 스타일의 언어학적 특성화를 제시합니다.