functional-programming - 是否有任何算法可以确定两个 λ 项是否相等？
问题描述
给定两个 lambda 项，假设它们（可能是无限的）Bohm 树相等。例如，在这个定义下，(Y λr.λt.(t r))和(Y λr.λt.t (λt. t r)是相等的，尽管没有范式，因为这两个项都有相同的无限玻姆树。由于这减少了停机问题，我们可以拥有的最好的就是概率函数。我的问题是：是否有任何有效的、最好是简单的算法能够确定两个 λ 项对于某些大类常用项是否相等？
解决方案
推荐阅读
- pdf - 在用户单击的位置注释 pdf 文件
- javascript - 如何使用 javascript 滚动 youtube 播放列表
- angular - 路由 2 个具有相同延迟加载模块的组件
- openshift - madlib 无法在 openshift 上启动
- html - 如何修复“将文本悬停到图像，文本保持其原始位置和背景中的 img 变化”
- c++ - 为什么我的程序连续运行而不停止？
- javascript - 似乎未检测到路由功能
- azure - Spark 可以写入 Azure Datalake Gen2 吗？
- swagger - How to prevent Swagger from following 302 Redirects?
- javascript - 我可以在 innerHTML 中使用包含 URL 图像链接的变量吗？