HSG

Aktuelle Seite: HSG/Fächer/Informatik/Material

Beispiel einer Moore-Maschine

aus Hopcroft/Ullman, Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie, S.46:


moore.zip

Automatenbeschreibung in der Include-Datei hop46.aut

const
  { 0. Automatenname eintragen }
  automatname = 'Moore-Automat, Hopcroft/Ullman, S.46';
type
  { 1. Zustandsmenge, Eingabe- und Ausgabealphabet anpassen                }
  TZustand = (q0_n,q0_y,p0_n,p0_y,p1_n,p1_y);
  TEingabe = (e0,e1);
  TAusgabe = (n,y);
const
  { 2. Startzustand eintragen }
  startzustand = q0_n;
  { 3. Klartextentsprechungen eintragen                                    }
  zText : array[TZustand] of string =
          ('q0_n','q0_y','p0_n','p0_y','p1_n','p1_y');
  eText : array[TEingabe] of string =
          ('0','1');
  aText : array[TAusgabe] of string =
          ('n','y');
  { 4a. Automatentafel eingeben, auf Zeilen und Spalten achten              }
  fue   : array[TZustand,TEingabe] of TZustand =
          ((p0_n,p1_n),
           (p0_n,p1_n),
           (p0_y,p1_n),
           (p0_y,p1_n),
           (p0_n,p1_y),
           (p0_n,p1_y));
  fa    : array[TZustand] of TAusgabe =
          (n,y,n,y,n,y);