SECD机
SECD机（SECD machine），是较有影响力的一种抽象机和虚拟机，它意图用作函数式编程语言编译器的编译目标。SECD这四个字母分别表示这个机器的内部寄存器：stack、environment、control和dump。 SECD机是第一个专门设计用来求值叫做应用表达式的扩展λ演算的机器。它最初描述于Peter J. Landin的1964年论文《表达式的机器求值》中。Landin发表的SECD抽象机，处理的是抽象语法树，故而可视…
标签：#抽象机器
共 2 篇文章
抽象機器
抽象機器（），又稱抽象電腦（），利用自動機理論，建立出電腦硬體或軟體的理論模型。把運算過程抽象化，一般來說是採用離散時間模型，可應用於電腦科學或電腦工程。在計算理論中，抽象機器經常被當成是一種思想實驗，用來推論可計算性（），或是分析演算法的時間複雜度及空间复杂度。 参见 抽象機器 垃圾进，垃圾出 算法导论 计算理论 可计算性理论 計算複雜性理論 * 高级综合