A definição primária de máquina de Turing (TM), pelo menos no meu próprio livro de referência (Hopcroft + Ullman 1979) é determinística. Portanto, meu próprio entendimento do problema da parada é principalmente para a MT determinística, embora eu saiba que pode ser considerado para outros tipos de...
Eu li na Wikipedia e alguns outros textos que O problema de parada é [...] decidível para máquinas determinísticas de autômatos limitados lineares (LBAs) [e] com memória finita. Mas, anteriormente, está escrito que o problema de parada é um problema indecidível e, portanto, a TM não pode...
Fiquei com a impressão de que nossos computadores, por serem finitos, não são mais poderosos que as máquinas de estado finito (extraordinariamente grandes). Entretanto, as Máquinas de Turing com Limite Linear também são finitas, mas parece que as Linguagens Regulares são estritamente um subconjunto...