Jede Zeile besteht aus: (Aktueller_Zustand) (Zeichen) (neuer Zustand) (Kellerzeichen)
Der Regelsatz wird immer von oben nach unten abgearbeitet.
Bei einem Treffer wird die passende Regel angewendet. Keine weitere Regel des Regelsatzes wird angewendet.
"_" wird ist das Zeichen für einen leeren Bandinhalt.
"*" ist ein Platzhalter, und bedeutet je nach Stelle der Verwendung:
beliebiger Bandinhalt beim Lesen,
beibehalten des aktueller Zustands.
";" und "//" kennzeichnen Kommentare
Zustände, deren Bezeichnung mit "accept" oder reject beginnen werden besonders gefärbt.
Speichern und Laden
Mit dem Button "Programm in die Seite einbetten" wird der HTML-Code so geändert, dass man die Seite speichern kann
und das Programm, der Startzustand und die Startbandbelegung mitgespeichert werden.
Kellerautomat
Eingabewort:
Pause zwischen Schritten 300
Aktueller Zustand:accept
by Lasse Ristig
// Akzeptoren erkennen die Gültigkeit eines Wortes.
// gut und gott werden erkannt.
// Jede Zeile ist wie folgt aufgebaut:
;Z Zustand ( Erlaubte Zeichen: -_a-zA-Z0-9;
; ! am Anfang: S0;
; ! am Ende: Endzustand)
;C Zeichen ( *: beliebig, _: leeres Zeichen)
;K Kellerzeichen ( *: beliebig, _: Endzeichen )
;N Neuer Zustand ( *: im aktuellen Zustand bleiben)
;k Neues Kellerzeichn ( *: altes, _: leer )
;Z C K - N k
;------------------------------------------------------
S a * - S *A
S b A - S _
S b U - A!
!A b * - E _
A a * - S U