Luego de haber leido todo el material, se llega a una pregunta importante... ¿Por qué es importante la MT? Cualquier modelo de computación que intente capturar el concepto de "lo que es computable" debe ser equivalente a la máquina de Turing.
El modelo básico, tiene un control finito, una cinta de entrada que está dividida en celdas y una cabeza de cinta que barre una celda de la cinta a la vez. La cinta tiene una celda que está más a la izquierda, pero se extiende de manera infinita hacia la derecha. Cada celda de la cinta puede contener exactamente un símbolo de un número infinito de símbolos de la cinta. Inicialmente, las n celdas que están más a la izquierda, para alguna n≥0 finita, sujetan la entrada, que es una cadena de símbolos escogidos de un subconjunto de los símbolos de la cinta, llamados símbolos de entrada. Cada una del número infinito de celdas restantes sujetan el espacio en blanco, que es un tipo especial de símbolo que no es de entrada.
En esta oportunidad, vamos a desarrollar uno de los temas vistos en autòmata en el transcurso del semestre...
Nombre y Apellidos del Autor:
Idioma:
Nivel Educativo:
Area de Conocimiento:
El manejo del tema se bera reflejado en el trabajo, posteriormente se tendra una defensa el dia del examen final.
El documento de WORD debe constar de minimo 2 paginas, interlineado de 1.5 , letra Times New Roman tamaño 12.
Introducción:
Una Máquina de Turing es un modelo matemático que consiste en un autómata capaz de implementar cualquier problema matemático expresado por medio de un algoritmo.
De manera formal, una máquina de Turing (TM de sus siglas en inglés Turing Machine) se representa por: M=(Q, ∑, Γ, δ, q0, B, F) en donde:
Q es un conjunto finito de estados.
Γ es el conjunto finito de símbolos de cinta admisibles.
B símbolo de Γ, es el espacio en blanco.
Σ subconjunto de Γ que no incluye a B, es el conjunto de los símbolos de entrada.
δ es la función de movimientos siguiente, una transformación de Q x Γ a Q x Γ x {L, R} ( δ puede sin embargo, permanecer indefinida por algunos argumentos).
q0 en Q es el estado inicial.
F⊆ Q es el conjunto de estados finales.
La máquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el contenido, borra el contenido anterior y escribe un nuevo valor. Las operaciones que se pueden realizar en esta máquina se limitan a: avanzar el cabezal lector/escritor hacia la derecha. Avanzar el cabezal lector/escritor hacia la izquierda. El cómputo es determinado a partir de una tabla de estados de la forma: (estado, valor) (nuevo estado, nuevo valor, dirección)
De manera clara y sencilla elaborar un documento en WORD donde explique cuales son las funciones y lenguajes adaptados por las maquinas turing. Esto tiene una ponderacion de 10%
Para la elaboración de dicho documento, deberá leer con presisción todo el material ofrecido por el docente.
La puntualidad y el manejo del tema, son los aspectos a evaluar.