Regulärer Ausdruck:
if|[a-z][a-z0-9]*
Nichtdeteterministischer endlicher Automat:
Tabelle für die Umwandlung in einen deterministischen endlichen Automaten:
Deterministischer endlicher Automat:
Automat ohne Zustandsmengenangabe:
Minimieren des endlichen deterministischen Automaten:
Menge Nichtendzustände: {1}
Menge Endzustände: {2,3,4}
Hinweis: Da die Menge der Nichtendzustände lediglich 1 Element hat, ist dies nicht weiter aufzuteilen. Der Algorithmus muss also lediglich auf die Menge der Endzustände angewendet werden.
Es können also die Zustände 2,3 und 4 zusammengefasst werden.
Minimaler deterministischer endlicher Automat: