Hangi normal ifadeler

Aşağıdaki sorunun PSPACE-komple olduğu iyi bilinmektedir:

Normal ifade verildiğinde , L ( β ) = Σ ∗ mı?$\beta$$L(\beta) = \Sigma^*$

Diğer (sabit) normal ifadeler denkliği belirlemeye ne dersiniz ?$\alpha$

Normal ifade verildiğinde , L ( β ) = L ( α ) mı?$\beta$$L(\beta) = L(\alpha)$

Aşağıdaki bilinmektedir:

• İçin , sorun Pspace-tamamlandığında$\alpha = (0+1)^*$

• İçin ya da daha genel α sınırlı bir kümesini anlatılan problem polinom zamanda Karar verilebilen bir.$\alpha = \emptyset$$\alpha$

Ayrıca, bir tek dil ise, problemin P olması muhtemel görünüyor .$\alpha$

Yani benim sorularım:

PSPACE-yukarıdaki karar problemi hangi için? Tam bir karakterizasyon var mı?$\alpha$

Karar sorununun orta derecede karmaşıklığı olan herhangi bir var mı (NP-complete gibi)?$\alpha$

Bu soru [1] 'deki 2. Bölümde ele alınmakta olup, sorunun teorik 2.6 olduğunu göstermektedir.

• $L(\alpha)$
• $L(\alpha)$$L(\alpha)\subseteq w_1^*w_2^*\ldots w_k^*$$w_1,\ldots, w_k$
• Aksi takdirde PSPACE-tamamlandı.

[1] Harry B. Hunt, Daniel J. Rosenkrantz, Thomas G. Szymanski, Düzenli ve bağlamsız diller için denklik, çevreleme ve kaplama problemleri üzerine, Bilgisayar ve Sistem Bilimleri Dergisi, Cilt 12, Sayı 2, 1976 , Sayfa 222-268, ISSN 0022-0000, http://dx.doi.org/10.1016/S0022-0000(76)80038-4 . ( http://www.sciencedirect.com/science/article/pii/S0022000076800384 )