Det er nå mulig å definere til en turingmaskin. Intuitivt er det de ordene som turingmaskinen godtar. Dette kan defineres formelt som hvor , og er den refleksiv, transitive tillukningen av .