2
Klassen von NFAs, die effiziente Teilmengenprüfungen oder eindeutige Konvertierungen ermöglichen
Ich recherchiere über NFAs und Inklusionsprobleme mit ihnen. Ich weiß, dass im Allgemeinen die Einschlussprobleme und die Konvertierung in eine eindeutige NFA beide PSPACE-vollständig sind. Ich frage mich, gibt es Unterklassen von NFA, für die diese effizient entschieden werden können? Insbesondere akzeptieren die NFAs, die ich betrachte, eine endliche Sprache, …