摘要:基于两个操作:引用和位复制的计算抽象机被提出。这些操作足以进行任何计算。它们可以作为图灵完备编程语言的原语。有趣的是,计算可以在没有逻辑运算如AND或OR的情况下完成。该语言的编译器和仿真器以及样本程序可在互联网上获得。
作者:Oleg Mazonka
论文ID:0907.2173
分类:Programming Languages
分类简称:cs.PL
提交时间:2011-06-07
PDF 下载: 英文版 中文版pdf翻译中