Olup olmadığı bilinmiyor veya , nerede
- , deterministik bir Turing makinesinde polinom zamanında karar verilebilen tüm diller kümesidir ve
- , lineer sınırlı otomata tarafından karar verilen diller olan ile eşdeğer olduğu bilinen içeriğe duyarlı diller .
Birçok açık soru için, bir cevap eğilimi vardır ( la "çoğu uzman inanır "). Bu soru için böyle bir şey var mı?
Özellikle, cevaplardan herhangi birinin beklenmedik sonuçları olur mu? Sadece beklenen (ancak kanıtlanmamış) sonuçları görebiliyorum:
- Eğer , daha sonra (boşluk hiyerarşi teoremi), bu nedenle .
- Eğer , daha sonra bir dil yoktur ve bu yüzden , dolayısıyla .
(Teşekkür: Bu ikisinin ikinci sonucu Yuval Filmus tarafından /cs/69614/ adresinde belirtilmiştir )