Unidad 6, Máquinas de Turing by Andre Cruz Saint-andre https://padlet.com/l17071350/fmeiwjk7d9f8ep01 Cruz Saint-Andre, Alcazar Daniel en-us 2021-07-07 04:27:51 UTC 2024-10-05 07:28:05 UTC hello@padlet.com https://padlet.net/icons/png/1f643.png l17071350 https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1639849277 2021-07-07 04:54:04 UTC https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1639849277 infografía en piktochart l17071350 https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1639883974 https://create.piktochart.com/output/55140455-maquina-de-turing]]> 2021-07-07 05:19:26 UTC https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1639883974 l17071350 https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1639908653 2021-07-07 05:38:41 UTC https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1639908653 Introducción l17071350 https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1639909653 La máquina de Turing, presentada por Alan Turing en 1936 en On computable numbers, with an application to the Entscheidungsproblems, es el modelo matemático de un dispositivo que se comporta como un autómata finito y que dispone de una cinta de longitud infinita en la que se pueden leer, escribir o borrar símbolos. 

Existen otras versiones con varias cintas, deterministas
Uno de los teoremas más importantes sobre las máquinas de Turing es que pueden simular el comportamiento de una computadora (almacenamiento y unidad de control).

si un problema no puede ser resuelto por una de estas máquinas, entonces tampoco puede ser resuelto por una computadora (problema indecidible, NP).
La notación de las máquinas de Turing es sencilla y exacta, por lo que es más cómodo trabajar con ellas a la hora de estudiar qué problemas son decidibles (P) y cuáles indecidibles (NP).
]]> 2021-07-07 05:39:29 UTC https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1639909653 ¿Qué es una máquina de Turing? Explicación simple danalcazar11 https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1640705536 2021-07-07 18:06:11 UTC https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1640705536 Lenguajes aceptados por una MTDe acuerdo a la clasificación de los lenguajes formales realizada por el norteamericano Avram Chomsky, la Máquina de Turing acepta los lenguajes más generales, o tipo cero (0), también llamados lenguajes recursivamente enumerables.Un lenguaje recursivamente enumerable es un lenguaje formal para el cual existe una máquina de Turing que acepta y se detiene con cualquier cadena del lenguaje, pero que puede parar y rechazar, o bien iterar indefinidamente, con una cadena que no pertenece al lenguaje. Todos los lenguajes, regulares, independientes de contexto, dependientes de contexto y recursivos son recursivamente enumerables.Una cadena ω∈A^*, es aceptada por una MT, si comienza en el estado e0, con la cabeza de lectura/escritura en el símbolo más a la izquierda, luego de leer toda la cadena ω, llega a un estado e_f∈F. El lenguaje aceptado por MT, es el conjunto de todas las cadenas que son aceptadas por MT:L(MT)={ω / e_0 ω ⊢*α_1 e_f α_2 y e_f∈F y α_1,α_1 ∈C^* y ω∈A^* }Tenemos por ejemplo una MT que reconoce el lenguaje {0^n 1^n:n≥1}. Las transiciones de la máquina se representan como sigue:Se evalúa la cadena w = 1100, arrojando el siguiente resultado:Otras cadenas también aceptadas por esta MT son 11110000, 10, 11111110000000. danalcazar11 https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1640706027 2021-07-07 18:06:42 UTC https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1640706027 ALAN TURING, CIEN AÑOS DEL MATEMÁTICO QUE 'GANÓ' UNA GUERRA danalcazar11 https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1640718886 2021-07-07 18:21:10 UTC https://padlet.com/l17071350/fmeiwjk7d9f8ep01/wish/1640718886