非整礎的線形順序における下降列発見の限界
非整礎的線形順序における下降列を見つける問題 (DS) と、非整礎的擬順序における無限降鎖を見つける問題 (BS) は、一見類似しているように見えるが、計算量の観点から厳密な違いがある。DS は BS よりも厳密に弱く、その違いはそれらの一次部分の分離によって示される。しかし、DS と BS は、有限部分と決定性部分においては同じ計算量を持つ。
On the Computational Weakness of Finding Descending Sequences in Ill-Founded Linear Orders Compared to Finding Bad Sequences in Non-Well Quasi-Orders
While seemingly similar, finding a descending sequence in an ill-founded linear order is computationally weaker than finding a bad sequence in a non-well quasi-order, as demonstrated through Weihrauch reducibility.
歷史決定性 Parikh 自動機
歷史決定性 Parikh 自動機 (HDPA) 比確定性 Parikh 自動機 (DPA) 更具表達能力，但表達能力不如非確定性 Parikh 自動機 (PA)，且與非確定性 Parikh 自動機的兩種變體——明確約束自動機 (UCA) 和弱明確 Parikh 自動機 (WUPA)——的表達能力均不相同。
히스토리 결정적 Parikh 오토마타
히스토리 결정적 Parikh 오토마타(HDPA)는 결정적 Parikh 오토마타(DPA)보다 표현력이 뛰어나지만 비결정적 Parikh 오토마타(PA)보다는 표현력이 떨어지는 새로운 종류의 오토마타입니다. HDPA는 DPA의 거의 모든 클로저 속성을 만족하며 안전성 모델 검사와 같은 특정 결정 문제를 해결하는 데 적합합니다.
履歴決定性 Parikh オートマトン
履歴決定性 Parikh オートマトン (HDPA) は、決定性 Parikh オートマトン (DPA) よりも表現力が高いが、非決定性 Parikh オートマトン (PA) よりも表現力が低い、Parikh オートマトンの新しいクラスである。
History-Deterministic Parikh Automata: Expressiveness, Closure Properties, and Algorithmic Analysis
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.
基於圖形的觀察等價性穩健性方法
本文提出了一種基於圖形的新方法來證明觀察等價性，特別是關於觀察等價性穩健性的推理，其核心概念是利用圖形的局部性，並透過一種稱為「穩健性」的關鍵充分條件來確保等價性。
관측 동치성에 대한 강력한 그래프 기반 접근 방식: 초점 하이퍼넷 재작성을 통한 지역 추론 및 견고성 분석
본 논문에서는 프로그램의 관측 동치성을 증명하기 위해 하이퍼넷 재작성 기반의 새로운 접근 방식을 제시하며, 특히 '초점'이라는 개념을 도입하여 지역 추론을 가능하게 하고, 이를 통해 관측 동치성의 견고성을 분석하는 방법을 제시합니다.
観察的等価性のための堅牢なグラフベースのアプローチ
本稿では、プログラムの観察的等価性を証明するための新しい段階的アプローチを提案する。これは、局所的な推論と呼ばれる手法と、観察的等価性の鍵となる十分条件として堅牢性の概念を導入することで実現される。
A Graph-Based Approach to Proving Observational Equivalence in Functional Programming Languages with Effects
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.
© 2024 by Linnk AI