Turingmaskiner – en kortfattet introduksjon Christian F Heide