Aspekte der morphologischen Analyse des Deutschen - Universität ...

Anhang A: Algorithmen
A.1.2 Umwandlung des parallelen Pattern-Matchers in einen DEA
Algorithmus A.3 formalisiert die Umwandlung eines parallelen Pattern-Matchers, wie ihn
Algorithmus A.1 erzeugt, in einen deterministischen endlichen Automaten (DEA).
Algorithmus A.3: Determinisierung eines parallelen Pattern-Matchers
Eingabe: goto- und failure-Funktion eines Pattern-Matchers
Ausgabe: Der Pattern-Matcher als deterministischer endlicher Automat
Verfahren begin
queue := Queue.emptyQueue
for each a � � do begin
�(startstate,a) := goto(startstate,a)
if goto(startstate,a) � startstate then
queue.enqueue(g(startstate,a))
end;
end
while queue � empty do begin
r := queue.dequeue;
for each a � � do
if s = g(r,a) � fail then begin
queue.enqueue(s)
delta(r,a) := s
end else
delta(r,a) := delta(failure(r),a)
end
Algorithmus A.3: Konstruktion der failure- und Ausgabefunktion (nach Aho/Corasick (1975:336))
189