抽象機械
counter machine (en:Counter machine も参照)アバカスマシン、Lambekマシン、Melzakモデル、ミンスキーマシン、Shepherdson-Sturgisマシン、プログラムマシン
RAM(Random-Access Machine) (en:Random-access machine を参照)
RASP(Random-Access Stored-Program machine) (en:Random-access stored-program machine も参照)ノイマンマシン
pointer machine (en:Pointer machine も参照)Schonhage Storage Modification Machine SMM, Kolmogorov-Uspensky KU-machine, Knuth linking automaton