O teorema da hierarquia de tempo afirma que as máquinas de turing podem resolver mais problemas se tiverem (bastante) mais tempo. Isso vale de alguma forma se o espaço é limitado assintoticamente? Como relaciona com se cresce rápido o suficiente?
Estou interessado especialmente no caso em que , e .
Em particular, considerei o seguinte idioma:
No entanto, pode ser decidido em etapas usando .
Sem limitar a quatro símbolos de fita e, assim, permitir comprimir células em células, obtemos problemas de espaço ao simular um com muitos símbolos de fita. Nesse caso, o idioma não está mais em . O mesmo acontece ao definir para alguns que podem ser calculados com rapidez suficiente.
Esta questão é basicamente uma reformulação da minha pergunta aqui .
Resumo de edição: Alterado para , no entanto, acho vale a pena pensar também no cruzamento.