Preguntas etiquetadas con linear-bounded-automata

La definición principal de Turing machine (TM), al menos en mi propio libro de texto de referencia (Hopcroft + Ullman 1979) es determinista. Por lo tanto, mi propia comprensión del problema de detención es principalmente para TM determinista, aunque soy consciente de que puede considerarse para otros tipos de autómatas. …

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

He leído en Wikipedia y algunos otros textos que El problema de detención es [...] decidible para autómatas lineales (LBA) [y] máquinas deterministas con memoria finita. Pero antes se escribe que el problema de detención es un problema indecidible y, por lo tanto, TM no puede resolverlo. Dado que LBA …

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

Tenía la impresión de que nuestras computadoras, siendo finitas, en última instancia no son más poderosas que las máquinas de estado finito (extraordinariamente grandes). Sin embargo, las máquinas de Turing con límites lineales también son finitas, pero parece que los lenguajes regulares son estrictamente un subconjunto incorrecto de lenguajes sensibles …

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