Seite 1 von 1

Darstellung der Determinisierung eines NFA

Verfasst: 19. Aug 2011 19:46
von bafnai
Hallo,
ich habe eine Frage bezüglich der auf Seite 30 im Skript gezeigten Determinisierung eines NFA.
Wie die Determinisierung selbst funktioniert ist mir klar.
Nun zu der Frage:
Wird \(\emptyset\) bei der Darstellung des aus der Tabelle folgenden DFA als eigener Zustand gezeichnet?

Re: Darstellung der Determinisierung eines NFA

Verfasst: 19. Aug 2011 20:53
von onbes
Moin bafnai.

Das stimmt. Es wird einfach ein neuer Zustand eingeführt, der die "abbrechenden Berechnungen" des Automaten abfängt.

Gruß onbes

Re: Darstellung der Determinisierung eines NFA

Verfasst: 21. Aug 2011 13:32
von bafnai
Vielen Dank für die schnelle Antwort!