论 B 项的重复右应用
计算机科学中的逻辑
2019-03-11 v1
摘要
B 项仅由 B 组合子构成，其定义为 B f g x = f (g x)，作为函数复合算子广为人知。本文研究了 B 项的一个有趣性质，即 B 项的重复右应用是否会产生循环。我们通过可靠且完备的等式公理化讨论了 B 项具有与不具有该性质的条件。具体而言，我们给出了具有该性质的 B 项示例，并证明存在无穷多个不具有该性质的 B 项。此外，我们引入了 B 项的规范表示，它有助于检测循环或等价地证明该性质，并给出了高效算法。
引用
@article{arxiv.1703.10938,
title = {On repetitive right application of B-terms},
author = {Mirai Ikebuchi and Keisuke Nakano},
journal= {arXiv preprint arXiv:1703.10938},
year = {2019}
}
备注
Submitted to CSL 2017