Belangrijk voor de informatica
Het helpt informatici om te bewijzen dat een bepaald algoritme echt door een computer uit te voeren is. Het is ook een hulpmiddel om programmeertalen met elkaar te vergelijken. Als de code van twee verschillende programmeertalen door een universele Turingmachine kan worden uitgevoerd, dan noemen we die talen Turing-compleet. Je weet dan zeker dat een algoritme dat in de ene programmeertaal is geschreven, ook in de andere taal kan worden opgeschreven