Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!
7
Definition des Turingmachinenmodells
=> man geht von unbeschränkter Rechenzeit und Speicher aus
ist definiert durch das 7-Tupel
Am Anfang der Rechnung befindet sich die TM im Anfangszustand, auf dem Band steht von links nach rechts die Eingabe in benachbarten Zellen, alle anderen Zellen links und rechts der Eingabe enthalten Leerzeichen, und der Kopf steht unter dem ersten Zeichen der Eingabe.
ist definiert durch das 7-Tupel
 | endliche Zustandsmenge |
 | endliches Eingabealphabet |
 | endliches Bandalphabet |
 | Blanksymbol |
 | Anfangszustand |
 | Stoppzustand |
 | Zustandsübergangsfunktion |
