Diketahui bahwa masalah berikut ini adalah PSPACE-complete:
Diberi persamaan reguler , apakah ?L ( β ) = Σ ∗
Bagaimana dengan menentukan ekivalensi dengan persamaan reguler (tetap) ?
Diberi persamaan reguler , apakah ?L ( β ) = L ( α )
Berikut ini diketahui:
Untuk , masalahnya adalah PSPACE-complete
Untuk , atau lebih umum yang menjelaskan himpunan berhingga, masalahnya dapat ditentukan dalam waktu polinomial.α
Sepertinya juga bagi saya bahwa masalahnya adalah P jika adalah bahasa yang unary.
Jadi pertanyaan saya adalah:
Untuk manakah masalah keputusan di atas selesai-PSPACE? Apakah ada karakterisasi lengkap?
Apakah ada yang masalah keputusannya memiliki beberapa kompleksitas menengah (seperti NP-complete)?