이 논문은 논리적으로 제한된 재작성 시스템(LCTRS)의 수렴성 기법을 다룹니다. 저자들은 다음과 같은 주요 내용을 다루고 있습니다:
LCTRS의 수렴성은 결정 가능한 기저 이론을 가지고 있더라도 결정 불가능하다는 것을 보여줍니다. 이는 일반 용어 재작성 시스템과 달리 LCTRS에서는 오른쪽 항에만 나타나는 변수가 유용할 수 있기 때문입니다.
LCTRS를 일반 용어 재작성 시스템(TRS)으로 변환하는 간단한 변환을 제시합니다. 이를 통해 TRS에 대한 고급 수렴성 기준을 LCTRS로 쉽게 확장할 수 있습니다.
이 변환을 사용하여 van Oostrom의 (거의) 개발 폐쇄 임계 쌍 기준을 LCTRS로 확장합니다. 이 결과는 상태 기반 수렴성 증명기에서 널리 사용되고 있습니다.
또한 Toyama의 병렬 임계 쌍 기준을 LCTRS로 확장하는 데 있어 발견된 미묘한 문제를 논의합니다.
To Another Language
from source content
arxiv.org
Principais Insights Extraídos De
by Jona... às arxiv.org 04-24-2024
https://arxiv.org/pdf/2402.13552.pdfPerguntas Mais Profundas