论文中阐述了只要透过一些简单的运算子，以及用于函数的记号，就可以建立一个具图灵完备性语言，可用于演算法中。麦卡钖最初使用M-表达式写程式码，之后再转成S-表达式，举例来说M-表达式的语法，codice_2，等同于S-表达式的。然而由于S-表达式具备同像性的特性（homoiconic，即程式与资料由同样的结构储存），实际应用中一般只使用S-表达式。此外他也借用了资讯处理语言中的许多概念。约翰·麦卡钖的学生史帝芬·罗素在阅读完此论文后，认为Lisp编程语言当中的codice_3函数可以用机器码来实做。他