evrensel turing makinesi

• aslında sanıldığının aksine önümüzde duran bilgisayarlar universal turing machine sayılmazlar çünkü turing machine'ler hafızanın^** sınırsız^* olduğunu varsayarlar.
  yani bilgisayarlarımız hafızaları sınırlı olduğundan kelli matematiksel olarak universal turing machine değillerdir. ancak bir universal turing machine bilgisayarların matematiksel modeli olarak, teorem ispatlamak için vs. kullanılabilir, caizdir.