===Anmerkung=== Die formale Definition besagt, dass beim UFA für kein Wort, welches von dem Automaten akzeptiert wird, zwei verschiedene Zwischenzustände erreicht werden dürfen. ... Gefunden auf https://de.wikipedia.org/wiki/Eindeutiger_endlicher_Automat