Definitions

[1] Turingmaschine (Name einer theoretischen Maschine, Automat, die einfache Input/Output Tätigkeiten absolvieren kann, welche für mathematische Beweise dienen)