Als «nondeterminism» getaggte Fragen

8
NFA-DFA-Powerset-Konstruktion: Ein partieller Bestimmungsalgorithmus mit Kompromiss zwischen Laufzeit und Größe für die resultierenden Automaten?

Bei einem NFA und seinem äquivalenten DFA die sich aus der Gesamtbestimmung von (z. B. unter Verwendung der Powerset-Konstruktion), gelten die folgenden Eigenschaften für , und für jedes Wort :D N.N.NND.DDN.NND wN.NND.DDwww N.NN liest in der Laufzeit höchstens .O ( | w | . | N | 2 )wwwO ( | w | . |...