- é o conjunto de todos os idiomas decidíveis em tempo polinomial em uma máquina de Turing determinística, e
- é a classe de linguagens sensíveis ao contexto, conhecida por ser equivalente a , as linguagens decididas por autômatos com limites lineares.
Para muitas perguntas abertas, há uma tendência a uma resposta (à la "a maioria dos especialistas acredita que "). Existe algo assim para esta pergunta?
Em particular, a resposta teria consequências inesperadas? Só consigo ver as consequências esperadas (mas não comprovadas):
- Se , (teorema da hierarquia de espaço), portanto, .
- Se , então existe uma língua e, por conseguinte, , portanto, .
(Agradecimento: A segunda consequência desses dois foi apontada por Yuval Filmus em /cs/69614/ )