抽象機械
いくらかの抽象機械は、階層的に分類できる。ここではチューリング完全のもののみを対象とする。以下は網羅したものではないし、このような分類のしかたが唯一のものというわけでもない。
直列計算の機械
並列計算の機械
以下は直列計算の機械のみである。
テープベース - チューリングマシンの変形など シングルテープ、マルチテープチューリングマシン、決定的チューリングマシン、非決定的チューリングマシン、Wang B-マシン、ポストチューリングマシン、神託機械、万能チューリングマシン
レジスタベース - レジスタマシン counter machine、RAM(Random-Access Machine)、RASP(Random-Access Stored-Program machine)、pointer machine
レジスタベースのそれぞれについての詳細は以下のようになる。