Preguntas etiquetadas con turing-machines

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 

Soy un poco nuevo, pero estoy muy interesado en el campo de la informática y la teoría de la complejidad, y quiero aclarar mi comprensión sobre cómo clasificar los problemas, y qué tan fuertemente se relacionan los problemas con la máquina que se está utilizando para resolverlos. Mi punto de …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Las definiciones de las máquinas de Turing son siempre explícitas sobre el símbolo en blanco que no forma parte del alfabeto de entrada. Me pregunto qué sale mal cuando lo harías parte del alfabeto de entrada, porque efectivamente el símbolo en blanco ya parece ser parte de la entrada. Para …

12 turing-machines 

Antecedentes: soy un laico completo en informática. Estaba leyendo sobre los números de Busy Beaver aquí , y encontré el siguiente pasaje: Es posible que la humanidad nunca sepa el valor de BB (6) con certeza, y mucho menos el de BB (7) o cualquier número más alto en la …

12 turing-machines  number-theory  busy-beaver 

Aquí está el problema: Demuestre que las máquinas de Turing de una sola cinta que no pueden escribir en la parte de la cinta que contiene la cadena de entrada reconocen solo los idiomas normales. Mi idea es demostrar que esta TM en particular es equivalente a una DFA. Usar …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Estaba mirando el curso de Gödelization en Teoría de la Computación. Podía entender los conceptos de numeración de Gödel, pero no podía entender su importancia en la teoría de la computación. ¿Podría alguien señalar algunos buenos materiales o señalar su importancia?

12 formal-languages  turing-machines 

Estaba revisando la definición de Wikipedia de lenguaje sensible al contexto y encontré esto: Cada categoría de idiomas es un subconjunto apropiado de la categoría directamente encima de ella. Cualquier autómata y cualquier gramática en cada categoría tiene un autómata o gramática equivalente en la categoría directamente encima de ella. …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

Estaba leyendo una respuesta a una pregunta reciente, y una especie de pensamiento extraño y efímero vino a mi mente. Si pregunto esto, podría traicionar que mis habilidades teóricas faltan seriamente (en su mayoría ciertas) o que es demasiado pronto para que yo lea este sitio. Ahora, con el descargo …

12 turing-machines  undecidability  halting-problem 

¿Qué diferencias hay entre las máquinas de Turing deterministas y no deterministas? Modelos diferentes pero equivalentes de NDTM. En particular, ¿cuál es esta frase de uso frecuente "adivinanza no determinista"? Cómo usarlo correctamente y ejemplos de uso incorrecto. Mi objetivo es crear una pregunta de referencia.

12 turing-machines  nondeterminism 

Me he preguntado por qué las cintas / cintas no son parte de la definición formal de una máquina de Turing. Considere, por ejemplo, la definición formal de una máquina de Turing en la página de Wikipedia . La definición, siguiendo a Hopcroft y Ullman, incluye: el conjunto finito de …

11 turing-machines  computation-models 

¿La existencia de problemas indecidibles implica inmediatamente la no previsibilidad de los sistemas físicos? Consideremos el problema de detención, primero construimos un UTM físico, digamos usando la construcción basada en circuito habitual. Entonces no puede haber una teoría física decidible que pueda determinar, dada la configuración de entrada de los …

11 computability  turing-machines  undecidability  physics 

He visto máquinas turing representadas con cintas infinitas en una y en dos direcciones. ¿Hay alguna diferencia en el poder de tales máquinas de turing, o son básicamente equivalentes? En mi cabeza, creo que son equivalentes, ya que supongo que debe haber alguna forma de representar la cinta infinita bidireccional …

11 turing-machines 

Estoy leyendo Sipser y me resulta difícil entender cuál es el proceso, de modo que si me das k máquinas Turing con k cintas, puedo escupir una máquina Turing equivalente con una sola cinta. Un ejemplo sería bueno. En realidad, lo que realmente estoy buscando es un ejemplo resuelto que …

11 turing-machines  simulation 

Deje que ¿Hay una máquina de Turing R que decida (no quiero decir que reconozca) el idioma ?L ∅L∅= { ⟨ M⟩ ∣ M es una máquina de Turing y L ( M) = ∅ } .L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is …

11 turing-machines  computability  undecidability 

Me dijeron que las computadoras cuánticas no son computacionalmente más poderosas que las máquinas de Turing. ¿Podría alguien ayudarme amablemente a dar algunas referencias de literatura que expliquen este hecho?

11 computability  reference-request  turing-machines  quantum-computing