Maquinas de Turing.

TURING
Definicin, propiedades y caractersticas.
Mquinas de Turing.
Mquinas de Turing reconocedoras.
Mquinas de Turing transductores.
Maquina universal y Turing.
Mquina de Turing.
Maquinas de Turing.
Una mquina de Turing es un
dispositivo que manipula
smbolos sobre una tira de cinta
de acuerdo a una tabla de reglas.
A pesar de su simplicidad, una
mquina de Turing puede ser
adaptada para simular la lgica
de cualquier algoritmo de
computador y es particularmente
til en la explicacin de las
funciones de una CPU dentro de
un computador.
Maquinas de Turing.
Originalmente fue definida por el matemtico ingls Alan Turing como una
mquina automtica en 1936, en la revista Proceedings of the London
Mathematical Society,1 La mquina de Turing no est diseada como una
tecnologa de computacin prctica, sino como un dispositivo hipottico
que representa una mquina de computacin. Las mquinas de Turing
ayudan a los cientficos a entender los lmites del clculo mecnico.

Turing dio una definicin sucinta del experimento en su ensayo de 1948,

Mquinas inteligentes. Refirindose a su publicacin de 1936, Turing
escribi que la mquina de Turing, aqu llamada una mquina de
computacin lgica.
Mquinas de Turing
reconocedoras.
MAQUINAS DE TURING.
Mquinas de Turing reconocedoras.
(tambin llamadas reconocedoras o
discriminadoras): Son aquellas en
donde la salida es binaria (s/no),
depende nicamente del estado y
existe un estado inicial. Puede
decirse, entonces, que cuando la
mquina produce una salida
"positiva" (es decir, un "si"), es
porque ha "reconocido" o "aceptado"
la secuencia de entrada. En las
mquinas de estados aceptadoras, los
estados con salida "positiva" se
denominan estados finales.
una Maquina de Turing se puede estudiar
como un calculador de funciones o como un
reconocedor de lenguajes. As, la clase de los
lenguajes recursivos se puede identificar con
la clase de las funciones recursivas totales,
mientras que la clase de los lenguajes
recursivamente e numerables se puede
identificar con la clase de las funciones
recursivas parciales. Cualquier Maquina de
Turing reconocedora de cadenas es una
Maquina de Turing calculadora de la funcin
caracterstica del lenguaje que reconoce: 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.
Mquinas de Turing transductores.
Son las ms generales, que
convierten una secuencia de
seales de entrada en una
secuencia de salida, pudiendo sta
ser binaria o ms compleja,
dependiendo de la entrada actual
(no slo del estado) y pudiendo
tambin prescindirse de un estado
inicial.
Una derivacin de los Autmatas son la
Maquinas de Estados Finitos Transductores,
la diferencia es que las Transductores nos
entregan como resultado un
conjunto de smbolos que pertenecen al
lenguaje, las aceptadoras nos indican
si un conjunto de smbolos pertenece o no
al lenguaje. La diferencia radica en
cambiar el conjunto de estados finales por
algn tipo de funcin que nos arroje
valores.
Maquina universal y Turing
Una mquina de Turing que es capaz de simular cualquier otra mquina de Turing es llamada una
mquina universal de Turing (UTM, o simplemente una mquina universal). Una definicin ms
matemticamente orientada, con una similar naturaleza "universal", fue presentada por Alonzo
Church, cuyo trabajo sobre el clculo lambda se entrelaza con el de Turing en una teora formal de la
computacin conocida como la tesis de Church-Turing. La tesis seala que las mquinas de Turing
capturan, de hecho, la nocin informal de un mtodo eficaz en la lgica y las matemticas y
proporcionan una definicin precisa de un algoritmo o 'procedimiento mecnico'.

La importancia de la mquina de Turing en la historia de la computacin es doble: primero, la

mquina de Turing fue uno de los primeros (si no el primero) modelos tericos para las
computadoras, viendo la luz en 1936. Segundo, estudiando sus propiedades abstractas, la mquina
de Turing ha servido de base para mucho desarrollo terico en las ciencias de la computacin y en la
teora de la complejidad. Una razn para esto es que las mquinas de Turing son simples, y por tanto
amenas al anlisis. Dicho esto, cabe aclarar que las mquinas de Turing no son un modelo prctico
para la computacin en mquinas reales, las cuales precisan modelos ms rpidos como los basados
en RAM.
MAQUINA DE TURING
La mquina de Turing (abreviado MT) tiene, un
control finito, una cabeza lectora y una cinta
donde puede haber caracteres, y donde
eventualmente viene la palabra de entrada. La
cinta es de longitud infinita hacia la derecha,
hacia donde se extiende indefinidamente,
llenndose los espacios con el carcter blanco
(que representaremos con t). La cinta no es
infinita hacia la izquierda, por lo que hay un
cuadro de la cinta que es el extremo izquierdo, la
MT la cabeza lectora es de lectura y escritura, por
lo que la cinta puede ser modificada en curso de
ejecucin. Adems, en la MT la cabeza se mueve
bidireccionalmente (izquierda y derecha), por lo
que puede pasar repetidas veces sobre un mismo
segmento de la cinta.
REFERENCIAS BIBLIOGRFICAS
Recuperado desde: http://maquinaturing.blogspot.com.co/p/funcionamiento-
de-la-maquina-turing.html

Recuperado desde:
http://delta.cs.cinvestav.mx/~mcintosh/cellularautomata/Summer_Research_file
s/maquinasef.pdf

Recuperado desde:
file:///C:/Users/JOSEHP/Desktop/UNAD/AUTOMATAS%20LENGUAJES%20FORMA
LES/Colaborativo%20-%203/tema_3.pdf

Recuperado desde: https://es.wikipedia.org/wiki/M%C3%A1quina_de_estados

Recuperado desde: https://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing