チューリング完全

なんか直感的には変だけど等価性を示すのが楽なのでよく用いられている

Turing Machine

RAM

tag system