λ-演算归约策略的简易建模

摘要：

在大多数基于图形的计算技术中,理论上的表达式与其图形表示并不相似,且它们的计算方式彼此不对应.出于理论研究需要一种与理论极为相似的计算技术.基于超图重写技术对无类型λ-演算的完全归约、按名称调用归约和按值调用归约进行建模.利用超图重写技术得到的以超图表示的λ-表达式在形式上与理论上的λ-表达式相似,以超图重写规则实现的计算过程与理论上的计算过程相对应,使该技术成为编程语言理论研究和快速建模演示的有利工具.

关键词：λ-演算、归化策略、超图重写、建模、编程语言

所属期刊栏目：43

分类号：TP312(计算技术、计算机技术)

资助基金：新疆维吾尔自治区自然科学基金;新疆维吾尔自治区高层次人才引进基金项目;新疆维吾尔自治区科学技术厅天池博士基金项目;国家自然科学基金;国家自然科学基金;四川省科技计划重大科技专项基金项目

在线出版日期：2022-10-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：2578-2583