中的图灵机；几个类型的替代和网络系统（substitution and network systems）；原始递归函数（primitive recursive functions）；嵌套递归函数（nested recursive functions）；组合子（combinators）；标记系统（tag systems）；寄存器机（register machines）；加法逆转（reversal-addition）；和一些其他系统。对于可以称为简单的程序，有几个标准：