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);
|