Turingband:
Unendlich groer Speicher, der zeichenweise gelesen werden kann.
Dazu wird ein Schreib-/Lesekopf nach rechts (R) oder links (L) bewegt, 
oder er verharrt an der Stelle (N).
Schreiben und Lesen erfolgt nach der Bewegung.

Alphabet:
Die Zeichen, die verarbeitet und auf das Band geschrieben werden knnen.

Zustnde:
Zeichenfolgen, die bestimmen, wie das Programm abluft.
Die Zeichen knnen von Eingaben abhngig sein.
"$" ist der erste (Start-)Zustand und zugleich danach ein Endzustand, der
das Programm beendet (terminaler Zustand).
Terminale Zustnde beenden das Programm und knnen beliebige Zeichenfolgen
sein. Nichtterminale Zustnde setzen das Programm fort.

bergangstabelle:
Die Tabelle besteht aus einzelnen Regeln, die beschreiben, was nach dem 
Lesen eines bestimmten Zeichens und dem Vorliegen eines bestimmten Zu-
standes zu tun ist: Es kann der Schreib-/Lesekopf positioniert werden,
an der Position ein Zeichen geschreiben und ein Folgezustand festgelegt
werden. 
Beispiel: 

0[A] ==> 1[B] L  besagt:

Wenn der Zustand A vorliegt und 0 gelesen wird, dann bewegt sich der
Schreib-/Lesekopf nach links, schreibt dann eine 1 aufs Band und geht
in den Zustand B ber

? als Eingabezeichen bedeutet, dass nichts gelesen wird.
? als Ausgabezeichen bedeutet, dass nichts geschrieben wird.

Eingang/Ausgang:
Unter "Eingang" lassen sich die Werte links von "==>" eingeben, unter
"Ausgang" diejenigen rechts von "==>".

bergang anfgen/ersetzen/lschen:
Unter "bergang" wird eine Regel der obigen Bauart verstanden. "anfgen",
"ersetzen" bewirken die bernahme von unter "Eingang" und "Ausgang" einge-
gebenen Daten in die bergangstabelle.
"lschen" entfernt eine Zeile aus der bergangstabelle.

Start, Einzelschritt:
"Start" lsst die bergangstabelle ohne Unterbrechung abarbeiten, be-
ginnend mit dem Zustand "$".
"Einzelschritt" hlt nach dem Abarbeiten einer Zeile der Tabelle an und
unterlegt diese Zeile in Blau.


