Hi !
Laut einer mit bekannten Definition gibt es beim indeterminierten endlichen Automaten für einen Zustand und eine Eingabe evtl. mehrere oder keine Nachfolgezustände.
Einmal verstehe ich nicht, was das "evtl" soll und einmal verstehe ich nicht, warum es beim indeterminierten endlichen Automaten nicht auch Zustände und Eingaben mit genau einem Folgezustand geben kann, solange es andere Zustände mit mehreren Folgezuständen gibt.
Evtl. bedeutet "eventuell" und heißt in diesem Kontext, dass ein Zustand nicht nur keine oder mehrere Nachfolgezustände, sondern eben auch genau einen Nachfolgezustand geben kann.
Achso 
Dank Dir
Dann sollen sie doch gleich sagen, dass es für einen Zustand und eine Eingabe beliebig viele Folgezustände geben kann - an statt mehrere, einen, oder keinen zu sagen. Sollen sie noch hinzufügen, dass mindestens ein Zustand und eine Eingabe mehrere Folgezustände haben muss...
Oder so:
Alle Übergangsfunktionen bla() die vom selben Zustand ausgehen, seien die Folge gleicher Eingaben.
Dann muss gelten: Menge aller bla() > Menge aller Zustände-1 (-1 weil Enzustand keinen Folgezustand hat)
Sie haben noch kein Benutzerkonto auf unserer Seite? Registrieren Sie sich kostenlos und nehmen Sie an unserer Community teil!
