Many machines that might be thought to have more computational capability than a simple universal Turing machine can be shown to have no more power (Hopcroft and Ullman pp.  159, cf. Minsky (1967)).
Многе машине које мисле да би могле да имају више рачунарског капацитета него једноставна универзална Тјурингова машина може да се покаже да нема више снаге (Хопкрофт и Улман pp. 159 ,  Мински (1967)).