[[teorema]].

Dimostra come [[modello di calcolo|modelli di calcolo]] diversi si possano [[simulazione|simulare]] a vicenda con [[costo computazionale]] [[polinomiale]].

Si dice che questi [[modello di calcolo|modelli di calcolo]] sono *equivalenti*.