Una màquina de Turing (TM) és un model computacional teòric que juga un paper central en la teoria de la computació i constitueix la base per entendre els límits del que es pot calcular. El nom del matemàtic i lògic britànic Alan Turing, la màquina de Turing és un dispositiu abstracte que manipula símbols en una tira de