Ich gehe mal davon aus, du meinst einen endlichen Automaten. Prinzipiell ist es eine verschachtelte Case-Abfrage. Die äußere fragt ab, in welchem Zustand der Automat sich gerade befindet und jede innere fragt ab, welche Transition gewählt werden muss.
Ein Automat mit 3 Zuständen (q0,q1,q2) und einem Alphabet 'a' und 'b' wäre dann prinzipiell z.B. so:
Delphi-Quellcode:
{...}
case AktuellerZustand of
q0: case Zeichen of
'a': // Führe Transition von q0 aus, wenn ein a gelesen wird
'b': // Das gleiche für b
end;
q1: case Zeichen of
'a': // Führe Transition von q1 aus, wenn ein a gelesen wird
'b': // Das gleiche für b
end;
q2: case Zeichen of
'a': // Führe Transition von q2 aus, wenn ein a gelesen wird
'b': // Das gleiche für b
end;
end;