Es ist bekannt, dass das folgende Problem PSPACE-vollständig ist:
Ist wenn der reguläre Ausdruck ist ?L ( β ) = Σ *
Was ist mit der Bestimmung der Äquivalenz zu anderen (festen) regulären Ausdrücken ?
Unter normalen Ausdruck , tut ?L ( β ) = L ( α )
Folgendes ist bekannt:
Für ist das Problem PSPACE-vollständig
Für oder allgemeiner für α , das eine endliche Menge beschreibt, ist das Problem in der Polynomzeit entscheidbar.
Es scheint mir auch wahrscheinlich, dass das Problem in P liegt, wenn eine unäre Sprache ist.
Meine Fragen sind also:
Für welches ist das obige Entscheidungsproblem PSPACE-vollständig? Gibt es eine vollständige Charakterisierung?
Gibt es ein für das das Entscheidungsproblem eine mittlere Komplexität aufweist (wie NP-vollständig)?