DTM

Definition

Eine Deterministic Turing Machine (DTM) ist eine deterministische Turingmaschine, bei der für jeden Zustand und jedes gelesene Symbol genau ein Folgezustand und eine Aktion eindeutig festgelegt sind.