无穷重写中的不可判定性层级：规范化与可达性
计算机科学中的逻辑
2010-03-05 v1 计算复杂性
摘要
在 [EGZ09] 中已证明无穷强规范化（SNi）是 完全的。令人惊讶的是，结果表明无穷弱规范化（WNi）是一个更难的问题，它是 完全的，因此在解析层级中严格更高。
引用
@article{arxiv.1003.1057,
title = {Levels of Undecidability in Infinitary Rewriting: Normalization and Reachability},
author = {Joerg Endrullis},
journal= {arXiv preprint arXiv:1003.1057},
year = {2010}
}