摘要
以SKI演算作为Combinator演算族的代表,通过形式化的手段给出了SKI演算的π演算语义;通过一个实例验证了所论方法的正确性.所给出的转换方法证明了π演算的表达能力:π演算为图灵完备的.由于高阶函数式语言与Combinator演算族之间存在着自然的转换,所给的转换思想不仅为在π演算的理论框架下研究Combinator演算族提供了基础,也为探讨高阶函数式语言的表示和实现问题提供了新途径.
π-Calculus is used to encode the semantics for the SKI-calculus which is a representative of combinator calculi. SKI-calculus is Turing complete, and this work shows the expressiveness of ,π-calculus. Furthermore, this work provides a pre-condition for uniting and comparing combinator calculi, lambda- calculus as well as higher-order functions with other concurrent models under the theory of π-calculus.
出处
《吉林大学学报(理学版)》
CAS
CSCD
北大核心
2006年第3期391-396,共6页
Journal of Jilin University:Science Edition
基金
吉林省科技发展计划项目基金(批准号:20050527).