论特纳括号抽象算法不同表述的等价性
逻辑
2015-10-14 v1 计算机科学中的逻辑
摘要
特纳的括号抽象算法或许是对简单括号抽象算法最著名的改进。它也是被研究最多的括号抽象算法之一。特纳原始论文中该算法的定义略有模糊，并受到了不同解释。一些论文错误地声称特纳算法的某些表述是等价的。在本札记中，我们澄清了特纳算法各种表述之间的关系，并表明其中一些在翻译β-范式下的λ项时实际上是等价的。
引用
@article{arxiv.1510.03794,
title = {On the equivalence of different presentations of Turner's bracket abstraction algorithm},
author = {Łukasz Czajka},
journal= {arXiv preprint arXiv:1510.03794},
year = {2015}
}