Menurut Garey dan Johnson (p. 174), EKSPRESI REGULER NON-UNIVERSALITY adalah PSPACE-complete. Ini adalah masalah memutuskan apakah ekspresi reguler lebih tidak tidak menghasilkan semua string. Jadi masalah Anda juga lengkap dengan PSPACE.{0,1}
Berikut adalah salah satu cara untuk melihat bahwa masalah OP ada di PSPACE. Diberi DFA dan ekspresi reguler , buat NFA untuk , dan gunakan konstruksi rangkaian daya untuk membuat konstruksi DFA setara dengan ; kami tidak akan menyimpan dalam memori, tetapi kami memiliki akses oracle ke hanya menggunakan ruang polinomial. Sekarang secara virtual membuat DFA untuk perbedaan simetris dan menggunakan konstruksi produk. DFA ini tidak menerima string (danArBrCBCCDACL(A)=L(r)) jika tidak ada jalur dari status awal ke status penerima. Karena reachability dalam NL dan memiliki ukuran , kita dapat memeriksa apakah di , persamaan terakhir karena teorema Savitch.D2poly(n)L(D)=∅NSPACE(poly(n))=NPSPACE=PSPACE