Geef de formele definitie vaneen turingmachine.