(Arora and Barak, 2009, theorem 1.9) It is often said that Turing machines, unlike simpler automata, are as powerful as real machines, and are able to execute any operation that a real program can.
(Арора и Барак, 2009, теорема 1.9) Често се каже да су Тјурингове машине, за разлику од једноставнијих аутомата,  моћне као праве машине, и да су у стању да изврше било операцију коју прави програм може.