Pertimbangkan bahasa .
Diketahui bahwa tidak dapat dikenali oleh mesin Turing (ATM) sublogaritmik yang bergantian (Szepietowski, 1994) . (Ada ATM yang menggunakan ruang sublogaritmik untuk anggota tetapi tidak untuk semua bukan anggota!)
Di sisi lain, Freivalds (1981) menunjukkan bahwa mesin Turing probabilistik ruang-terikat-kesalahan-konstan (PTMs) dapat mengenali tetapi hanya dalam waktu yang diharapkan secara eksponensial ( Greenberg dan Weiss, 1986 ). Kemudian, itu menunjukkan bahwa tidak ada yang dibatasi-kesalahan -space PTM bisa mengenali bahasa non-reguler di waktu yang diharapkan polinomial ( Dwork dan Stockmeyer, 1990 ). Pertanyaanku adalah
apakah PTMs ruang-sublogaritmik poly-time mengenali dengan bounded-error.