Maquinas de turing
•Descargar como PPTX, PDF•
0 recomendaciones•589 vistas
Presentacion sobre las maquinas de Turing para la materia de Lenguajes Formales y Teoría de Autómatas.
Recomendados
Recomendados
Más contenido relacionado
La actualidad más candente
La actualidad más candente (20)
Similar a Maquinas de turing
Similar a Maquinas de turing (20)
Último
Último (20)
Maquinas de turing
- 1. Máquinas de Turing Mitra Mejia 13-1060 Daniel Moreno 13-1076
- 2. Máquina de Turing Alan Turing introdujo el concepto de máquina de Turing, publicado por la Sociedad Matemática de Londres en 1936. Turing ideó un modelo formal de computador, la máquina de Turing.
- 3. ¿Qué es una máquina de Turing? Una máquina de Turing es un modelo computacional que realiza una lectura / escritura de manera automática sobre una entrada llamada cinta, generando una salida en la esta misma.
- 7. Máquina de Turing Determinista En el caso de que para cada par (estado, símbolo) posible exista a lo sumo una posibilidad de ejecución, se dirá que es una máquina de Turing determinista.
- 8. Máquina de Turing No Determinista En el caso de que exista al menos un par (estado, símbolo) con más de una posible combinación de actuaciones se dirá que se trata de una máquina de Turing no determinista.
- 9. Máquina de Turing Multicinta Es una Máquina de Turing... con 2 o más cintas y cabezales
- 10. Ejemplo 0ab 1aa, IID A P
Notas del editor
- La maquina de Turing fue introducida por el matemático británico ALan Turing por primera vez en 1936. Probablemente esta fue la primera vez que alguien ideó públicamente lo que hoy conocemos como una ‘computadora’
- En el plano de los modelos matematicos La máquina de Turing no está diseñada como una tecnología de computación práctica, sino como un dispositivo hipotético que representa una máquina de computación.
- Reconocimiento y traduccion
- La entrada de una máquina de Turing viene determinada por el estado actual y el símbolo leído, un par (estado, símbolo), siendo el cambio de estado, la escritura de un nuevo símbolo y el movimiento del cabezal, las acciones a tomar en función de una entrada. En el caso de que para cada par (estado, símbolo) posible exista a lo sumo una posibilidad de ejecución, se dirá que es una máquina de Turing determinista, mientras que en el caso de que exista al menos un par (estado, símbolo) con más de una posible combinación de actuaciones se dirá que se trata de una máquina de Turing no determinista.
- La entrada de una máquina de Turing viene determinada por el estado actual y el símbolo leído, un par (estado, símbolo), siendo el cambio de estado, la escritura de un nuevo símbolo y el movimiento del cabezal, las acciones a tomar en función de una entrada. En el caso de que para cada par (estado, símbolo) posible exista a lo sumo una posibilidad de ejecución, se dirá que es una máquina de Turing determinista, mientras que en el caso de que exista al menos un par (estado, símbolo) con más de una posible combinación de actuaciones se dirá que se trata de una máquina de Turing no determinista.
- Una MT con más de una cinta consiste de un control finito con k cabezales lectores/escritores y k cintas. Cada cinta es infinita en ambos sentidos. La MT define su movimiento dependiendo del símbolo que está leyendo cada uno de sus cabezales, da reglas de sustitución para cada uno de los símbolos y dirección de movimiento para cada uno de los cabezales. Inicialmente la MT empieza con la entrada en la primera cinta y el resto de las cintas en blanco.