1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
20:
21:
22:
23:
24:
25:
26:
27:
28:
29:
30:
31:
32:
33:
34:
35:
36:
37:
38:
39:
40:
41:
42:
43:
44:

unit Automat;

interface

uses
  Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,
  Dialogs, Keller;

type
  TAutomat = class
    constructor create;
    function proof(input:char):boolean;
  end;
  TEingabe = (eA,eB,eI);
  TZustand = (zS,zA,zB,zF);
  TKellerZustand = (s,m);
  TUebergang = record
    NZustand:TZustand;
    Kellerops:integer;
  end;
  TUebergangstabelle = array [TEingabe,TZustand,TKellerzustand] of TUebergang;


const
  UeT : TUebergangstabelle = (
        (((zA),(1)),((zB),(1)),((zF),(0))),             // Keller: s   zS    @@@siehe Fehler!@@@
        (((zF),(0)),((zF),(0)),(zF,(0))),               //         s   zA
        (((zF),(0)),((zF),(0)),(zF,(0))),               //         s   zB
        (((zF),(0)),((zF),(0)),(zF,(0))),               //         s   zF
        (((zF),(0)),((zF),(0)),(zF,(0))),               //         m   zS
        (((zA),(1)),((zA),(-1)),(zF,(0))),              //         m   zA
        (((zB),(-1)),((zB),(1)),(zF,(0))),              //         m   zB
        (((zF),(0)),((zF),(0)),(zF,(0))),               //         m   zF
        );

var
  e : TEingabe;
  z : TZustand;
  k : TKellerzustand;
  AKeller : TKeller;
  AUebergang : TUebergang;

implementation
//... usw