Es ist bekannt, dass das Universalitätsproblem für NFA (Entscheidung, ob ) vollständig ist. Was ist jedoch, wenn bekannt ist, dass jeder Staat der NFA akzeptiert? Es scheint mir , dass das Problem bei den meisten in ist - , als Gegenbeispiel (anders als im Fall eines allgemeinen NFA) ist Polynom (auch linear) in der Größe des Eingangs (die Anzahl der Zustände). Was ist die Komplexität dieses Problems?
7
Antworten:
Ihr Problem ist PSPACE-vollständig. Ich beweise, dass es PSPACE-schwer ist, indem ich die Universalität von NFAs auf die Universalität von NFAs reduziere, wobei alle Staaten dies akzeptieren.
Sei eine NFA. Fügen Sie einen neuen Endzustand und fügen Sie für jeden akzeptierenden Zustand einen Übergang wobei ein neuer Buchstabe ist. für jeden Buchstaben auch einen Übergang . Und dann alle Staaten akzeptieren lassen. Der neue Automat akzeptiert für einige .A q$ q q→$q$ $ a∈Σ⊔{$} q$→aq$ L(A)$(Σ⊔{$})∗⊔L′ L′⊆Σ∗
Fügen Sie nun einen Automaten (mit allen endgültigen Zuständen) hinzu, der die Sprache (dh die Sprache der Wörter, die nicht enthalten ) parallel erkennt . Der neue Automat erkennt .Σ∗ $ L(A)$(Σ⊔{$})∗⊔(L′∪Σ∗)=L(A)$(Σ⊔{$})∗⊔Σ∗
nun, dass wir wenn . Das heißt, der von mir beschriebene Prozess ist eine Reduktion von der Universalität einer NFA auf die Universalität einer NFA, wobei alle Staaten dies akzeptieren. Da die Reduktion polynomisch ist, ist Ihr Problem PSPACE-schwer.L(A)=Σ∗ L(A)$(Σ⊔{$})∗⊔Σ∗=(Σ⊔{$})∗
quelle