검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

On Proving AC-Termination by AC-Dependency Pairs AC-종속성 쌍에 의한 AC 종료 증명

Keiichirou KUSAKARI, Yoshihito TOYAMA

  • 조회수

    0

  • 이것을 인용

요약 :

Arts와 Giesl은 용어 재작성 시스템(TRS)의 종료를 증명하는 효과적인 방법을 제공하는 종속성 쌍 개념을 도입했습니다. 본 논문에서는 개념을 AC-TRS로 확장하고 AC 종료를 효과적으로 증명하는 새로운 방법을 소개합니다. AC-TRS에 종속성 쌍의 개념을 직접 적용하는 것은 불가능합니다. 이러한 어려움을 피하기 위해 확장 종속성 쌍이라는 개념을 도입합니다. 마지막으로 AC 종속성 쌍과 AC 종속성 체인을 정의합니다. 또한, Ω-reduction과 Ω에 기반한 근사기법을 이용하여 실제 AC-termination을 증명하는데 매우 유용한 근사된 AC-의존성 그래프를 제안한다.V-절감.

발행
IEICE TRANSACTIONS on Information Vol.E84-D No.5 pp.604-612
발행일
2001/05/01
공개일
온라인 ISSN
DOI
원고의 종류
PAPER
범주
계산 이론/모델

작성자

키워드