Perguntas com a marcação «linear-bounded-automata»

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 autômatos. Também notei …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

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 resolvê-lo! Como o …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

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 impróprio de Linguagens Sensíveis ao Contexto. …

11 finite-automata  computation-models  linear-bounded-automata