LENGUAJES ESTRUCTURADOS POR

FRASES

MAQUINAS DE
TURING
AUTOMATAS Y LENGUAJES FORMALES
301405A_360

FABIAN CAMILO ESPITIA VARGAS

CODIGO: 80757321

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

BOGOTA
2017
MAQUINA DE TURING
Definicin: es un dispositivo compuesto por estados y transiciones, puede simular
algoritmos, tantos como se puedan imaginar, fue diseada en 1936 por el matemtico
Alan Turing como una mquina automtica no es precisamente una tecnologa
computacional sino una representacin de una maquina computacional
MAQUINA DE TURING
Caractersticas: es dispositivo mecnico compuesto de una cinta, una cabeza de
lectura y escritura, la cual puede mover la cinta a izquierda o derecha, presenta un
registro de estado la maquina de estado finito es un procesador central/memoria que
mantiene el rastro de en cual de todos los posibles estados se encuentra actualmente,
para determinar tambin a que estado cambiar

Tomado de: REDES NEURONALES ARTIFICIALES http://disi.unal.edu.co/~lctorress/RedNeu/LiRna007.pdf

MAQUINA DE TURING

Su funcin estructural es realizar transicin de estados, la cinta es leda con el

cabezal, identifica el estado en el que se encuentra (entrada), si es aceptado lo
toma como un si de lo contrario se leer como un no, el sistema cambia el
estado segn las reglas previamente definidas, escribiendo en la cinta y
movindola a la izquierda o derecha.(salida)

Tiene mltiples usos y aplicaciones en varios campos como la computacin y la

matemtica
MAQUINA DE TURING RECONOCEDORA
Esta maquina esta diseada o programada para reconocer estados
aceptados
Es una funcin que asocia el valor 1 a las cadenas que pertenecen al
lenguaje y 0 a las cadenas que no pertenecen al lenguaje. Cualquier Mquina
de Turing calculadora de funciones es una Mquina de Turing reconocedora
de lenguajes, ya que se puede representar cada funcin por el lenguaje
formado por las tuplas que se pueden formar con sus parmetros de entrada
y de salida. LA Garca Fernndez - 2005

Tomado de: Maquina de Turing http://computabilidadycomplejidad.webs.com/Teo2.pdf

MAQUINA DE TURING
TRANSDUCTORA
Son maquinas programadas para arrojar un
resultado mas preciso, con valores que pertenecen
al lenguaje, a diferencia de las maquinas
aceptadoras que nos indican si los smbolos
pertenecen o no al lenguaje asignndole un valor
de 1 0 (valor binario), stas nos dan como salida
un valor que est dentro del lenguaje (cadena de
salida.)
MAQUINA DE TURING UNIVERSAL
Una Mquina de Turing Universal, UTM, es una mquina de
Turing capaz de simular el comportamiento de cualquier
mquina de Turing sobre cualquier cadena de entrada
Es una maquina mas completa, como lo afirm Turing en
1947 Se puede demostrar que es posible construir una
mquina especial de este tipo que pueda realizar el trabajo
de todas las dems. Esta mquina especial puede ser
denominada mquina universal. Velasco Pea 2006

Tomado de: Universal Turing Machine http://web.mit.edu/manoli/turing/www/turing.html

 CONCLUSIONES
La maquina de Turing constituye una herramienta bsica para la
computacin, puede parecer un elemento simple pero su utilidad es
tanta que cualquier algoritmo puede ser modelado por esta.
El uso de la maquina de Turing no esta rezagado al rea
computacional sino que tambin es utilizado en modelos
matemticos, su uso e importancia es tal, que a pesar de haber sido
expuesto en 1937, fue uno de los primeros pasos a la inteligencia
artificial que aun se desarrolla y mantiene su importancia.
Ya que existen varios tipos de maquinas de Turing, la utilidad es
amplia en diversas reas de la informtica.
BIBLIOGRAFIA

Gonzlez, R. (2011). MQUINAS SIN ENGRANAJES Y CUERPOS

SIN MENTES. CUN DUALISTA ES EL FUNCIONALISMO DE
MQUINA DE TURING? (Spanish). Revista de Filosofa (00348236),
67, 183-200.
Gutierrez, Orozco(2008). MMAQUINAS DE ESTADOS FINITOS,Escuela
Superior de Computo. 2008
MAQUINA DE TURING,
http://computabilidadycomplejidad.webs.com/Teo2.pdf
REDES NEURONALES ARTIFICIALES, Universidad Nacional de
Colombia http://disi.unal.edu.co/~lctorress/RedNeu/LiRna007.pdf
Velasco, Pea. (2006). ALGORITMOS DIGITALES II, Universidad
Nacional, 2006