Preguntas etiquetadas con turing-machines

Estoy haciendo una presentación sobre las máquinas Turing y quería dar algunos antecedentes sobre los FSM antes de presentar las máquinas Turing. El problema es que realmente no sé qué es MUY diferente el uno del otro. Esto es lo que sé que es diferente: FSM tiene estados secuenciales dependiendo …

27 terminology  turing-machines  finite-automata  machine-models 

Recientemente en mi clase de CS me presentaron a la máquina de Turing. Después de la clase, pasé más de 2 horas tratando de averiguar cuál es la relación entre una cinta y una máquina. No conocía por completo la existencia de cintas de computadora o cómo interactuaban las cintas …

27 turing-machines  computation-models 

Soy ingeniero eléctrico, y solo tuve un curso de CS en la universidad hace 26 años. Sin embargo, también soy un usuario devoto de Mathematica. Tengo la sensación de que las máquinas de Turing son muy importantes en informática. ¿Es la importancia solo en la teoría de la informática? Si …

27 turing-machines 

Considerando solo el alfabeto , las cadenas que se pueden dar como entrada a las máquinas de Turing son del conjunto Σ ∗ . Pero, ¿tiene sentido que la entrada sea una cadena binaria infinita? Por ejemplo, si una máquina de Turing acepta todas las cadenas que comienzan con un …

26 turing-machines 

Tengo problemas para comprender la prueba de la indecidibilidad del problema de detención. Si devuelve si el programa a se detiene o no en la entrada b , ¿por qué tenemos que pasar el código de P para a y b ?H( a , b )H(a,b)H(a,b)unaaasibbPAGSPPunaaasibb ¿Por qué no podemos …

25 computability  turing-machines 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 6 años . Me he encontrado con muchas definiciones de lenguajes recursivos y recursivamente enumerables. Pero no pude entender lo que son. ¿Puede alguien decirme qué son en …

24 formal-languages  computability  turing-machines 

La lógica constructivista es un sistema que elimina la Ley del Medio Excluido, así como la Doble Negación, como axiomas. Se describe en Wikipedia aquí y aquí . En particular, el sistema no permite pruebas por contradicción. Me pregunto, ¿alguien está familiarizado con cómo esto afecta los resultados con respecto …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

En clase la semana pasada, mi profesor comentó y dijo que las máquinas de Turing se usan como una medida / modelo estándar de lo que es computable y son una base útil de discusión para ese tema. También dijo que se ha demostrado que todas las variantes de las …

24 turing-machines  quantum-computing 

Quizás mi comprensión limitada del tema es incorrecta, pero esto es lo que entiendo hasta ahora: La programación funcional se basa en el cálculo Lambda, formulado por Alonzo Church. La programación imperativa se basa en el modelo de máquina de Turing, realizado por Alan Turing, estudiante de Church. El cálculo …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

Una máquina de Turing que vuelve a un estado encontrado anteriormente con su cabeza de lectura / escritura en la misma celda de la misma cinta será atrapada en un bucle. Tal máquina no se detiene. ¿Alguien puede dar un ejemplo de una máquina que nunca se detiene y que …

22 computability  turing-machines  halting-problem 

Recientemente escuché una analogía interesante que afirma que la prueba de Turing de la indecidibilidad del problema de detención es muy similar a la paradoja de barbero de Russell. Así que me pregunté: los matemáticos finalmente lograron hacer que la teoría de conjuntos sea coherente al pasar de la formulación …

21 computability  turing-machines  computation-models  halting-problem 

Estoy buscando ejemplos de problemas que tengan un límite inferior de Ω(|x|2Ω(|x|2\Omega(|x|^2 ) para la entrada xxx . El problema debe tener las siguientes propiedades: Ω(n2)Ω(n2)\Omega(n^2)Prueba de tiempo de ejecución de Ω ( n 2 ) para cualquier algoritmo: la primera prioridad es tener un argumento de límite inferior tan …

19 complexity-theory  turing-machines  time-complexity  lower-bounds 

Según este artículo de Wikipedia , las gramáticas sin restricciones son equivalentes a las máquinas de Turing. El artículo señala que puedo convertir cualquier máquina de Turing en una gramática sin restricciones, pero solo muestra cómo convertir una gramática en una máquina de Turing. ¿Cómo puedo hacer eso y convertir …

19 formal-grammars  turing-machines  simulation 

¿Es una máquina de Turing sin la capacidad de escribir en celdas en blanco menos potente que Turing estándar? Creo que la respuesta es sí, pero no puedo encontrar un cálculo que la máquina estándar de Turing pueda hacer, pero esta máquina no. ¿Algunas ideas?

18 formal-languages  turing-machines  computability  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