무한 재작성에서 정규화와 도달 가능성의 불확정성 단계
이 논문은 무한 항목(term) 재작성 시스템에서 강한 정규화(SN∞)와 약한 정규화(WN∞) 문제의 복잡도 차이를 분석한다. SN∞는 Π¹₁-완전임을, WN∞는 더 높은 수준인 Π¹₂-완전임을 증명함으로써 두 문제의 분석적 위계에서의 위치를 명확히 한다.
저자: Joerg Endrullis
본 논문은 무한 항목(term) 재작성 시스템(infinitary rewriting)에서 두 가지 핵심 결정 문제, 즉 무한 강한 정규화(SN∞)와 무한 약한 정규화(WN∞)의 복잡도 계층을 체계적으로 분석한다. 서론에서는 무한 재작성의 기본 개념과 기존 연구
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기