Automatengraphen partieller und nichtdeterminierter Automaten

• 

enthalten gegenüber determinierten Automaten zusätzlich eine Knotengewichtsfunktion , die jedem Knoten einen Ausdruck zuordnet, der verbotene Belegungen in beschreibt.

Beispiel:

Ermittlung von :