ecursive Functions of Symbolic Expressions and Their Computation by Machine, Part I）。在这篇论文中阐述了只要透过一些简单的运算子，以及用于函数的记号，就可以建立一个具图灵完备性语言，可用于演算法中。麦卡钖最初使用M-表达式写程式码，之后再转成S-表达式，举例来说M-表达式的语法，codice_2，等同于S-表达式的。然而由于S-表达式具备同像性的特性（homoiconic，即程式与资料由同样的结构储存），实际应用中一般只