Mașina Turing este un model teoretic propus de matematicianul și logicianul britanic Alan Turing în 1936. Aceasta constă într-un dispozitiv ipotetic, capabil să efectueze calcule și să simuleze orice altă mașină de calcul. Mașina Turing are o bandă infinită împărțită în celule, capacitate de citire și scriere, precum și o unitate centrală de control, care interpretează instrucțiunile de pe bandă. Aceasta a stat la baza dezvoltării teoriei calculabilității și a reprezentat o contribuție semnificativă în domeniul informaticii, înțelegerea conceptului de algoritm și dezvoltarea calculatoarelor moderne.