双射术语编码
摘要：用唯一的自然数对Prolog术语进行编码/解码。我们的编码具有以下特性：a) 双射 b) 自然数始终解码为句法上有效的术语 c) 它们在表示的比特位数的低多项式时间内工作 d) 我们的编码的比特位数与输入的句法表示的常数因子之内。 我们描述了有限符号的术语代数的编码，以及将术语的“结构”（平衡括号列表的自然数编码）与其“内容”（原子术语和Prolog变量的列表）分开的算法。本文以可读性强的Prolog程序形式组织，并可从url{http://logic.cse.unt.edu/tarau/research/2011/bijenc.pl}获得。
作者：Paul Tarau
论文ID：1112.3788
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-12-19