C - T - ABS abstractive algorithm transforms � � - expression to SKI - expression, which is the theoretical foundation of functional programming language implementation.
ABSTRACT,C-T-ABS是把λ表达式转换成SKI表达式的抽象算法, 是函数式语言实现的理论基础.
相关词汇
absabbr. acrylonitrile-butadiene-styrene 丙烯腈-丁二烯-苯乙烯，absence 缺席，absorption 吸收，absorb (ent) 吸收；
transformsv. 改变( transform的第三人称单数 )，使改变形态，使改变外观（或性质），使改观；
expressionn. 表现，表示，表达，表情，脸色，态度，腔调，声调，[数]式，符号，词句，语句，措辞，说法；
toprep. 向，朝着，到，关于，属于；adv. 朝一个方向的，到某种状态，关闭；
skin. 滑雪，滑雪板，滑水橇，滑行装置；v. 滑雪，滑冰；
whichpron. 哪一个，哪一些，哪个，那，指前面提到的事物；adj. 哪一个，哪一些；
isvt.& vi. 是（be的三单形式；n. 存在；
theart. 指已提到的人（物），指说话人与听者已知的人（物），用于独一无二的事物前，与形容词最高级和序数词连用；
ofprep. 关于，属于…的，由…制成；aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气]；
languagen. 语言，语言文字，表达能力，言语，语风，文风，文体，专门用语，术语；