양자화 한 번 교대로 정의되는 트리 언어의 대수적 특성
본 논문은 트리와 포레스트 언어 중 FO 논리의 양자화 전위가 ∀∃ 혹은 ∃∀인 Δ₂(Delta‑2) 클래스에 속하는 언어들을 연구한다. 노드 간 후손 관계만을 사용하거나 후손 관계와 사전식 순서를 함께 사용하는 두 서명을 고려하고, 각각에 대해 효과적인 대수적 특성(동등식)으로 정의 가능한 언어들을 완전하게 규정한다. 단어 경우의 기존 결과(Pin‑Wei
초록
본 논문은 트리와 포레스트 언어 중 FO 논리의 양자화 전위가 ∀∃ 혹은 ∃∀인 Δ₂(Delta‑2) 클래스에 속하는 언어들을 연구한다. 노드 간 후손 관계만을 사용하거나 후손 관계와 사전식 순서를 함께 사용하는 두 서명을 고려하고, 각각에 대해 효과적인 대수적 특성(동등식)으로 정의 가능한 언어들을 완전하게 규정한다. 단어 경우의 기존 결과(Pin‑Weil)와의 연계도 제시한다.
상세 요약
Δ₂는 FO
📜 논문 원문 (영문)
🚀 1TB 저장소에서 고화질 레이아웃을 불러오는 중입니다...