FASE 4

ACTIVIDAD INDIVIDUAL

CARLOS ANDRES MENDOZA SANCHEZ

C.C. 1.018.420.776
GRUPO 301405_6

VICTOR FERNANDO CAON RODRIGUEZ

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

INGENIERIA DE SISTEMAS
AUTMATAS Y LENGUAJES FORMALES
2017
 Tabla de Contenido

Mquinas de Turing
Mquinas de Turing reconocedoras
Mquinas de Turing transductoras
Maquina universal y Turing
Mquina de Turing
Bibliografa
 MAQUINAS DE TURING

La mquina de Turing puede

considerarse como un autmata capaz
de reconocer lenguajes formales. En ese
sentido, es capaz de reconocer los
lenguajes recursivamente enumerables,
de acuerdo a la jerarqua de Chomsky.
Su potencia es, por tanto, superior a
otros tipos de autmatas, como el
autmata finito, o el autmata con pila,
o igual a otros modelos con la misma
potencia computacional.
 TIPOS DE MAQUINAS DE TURING
Mquina de Turing con cinta infinita a ambos lados
Esta modificacin se denota al igual que una MT sencilla, lo que la hace diferente es que la cinta es
infinita tanto por la derecha como por la izquierda, lo cual permite realizar transiciones iniciales como
(q0, x) = (q1, y, L).

Mquina de Turing con cinta multipista

Es aquella que mediante la cual cada celda de la cinta de una mquina sencilla se divide en sub-celdas.
Cada celda es as capaz de contener varios smbolos de la cinta. Por ejemplo, la cinta de la figura tiene
cada celda subdividida en tres sub-celdas. Se dice que esta cinta tiene mltiples pistas puesto que cada
celda de esta mquina de Turing contiene mltiples caracteres, el contenido de las celdas de la cinta
puede ser representado mediante n-tuplas ordenadas. Los movimientos que realice esta mquina
dependern de su estado actual y de la n-tupla que represente el contenido de la celda actual. Cabe
mencionar que posee un solo cabezal al igual que una MT sencilla.
 TIPOS DE MAQUINAS DE TURING

Mquina de Turing multicinta

Una MT con ms 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 smbolo
que est leyendo cada uno de sus cabezales, da reglas de sustitucin para cada uno de los smbolos y
direccin 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.

Mquina de Turing multidimensional

Una MT multidimensional es aquella cuya cinta puede verse como extendindose infinitamente en ms
de una direccin, el ejemplo ms bsico sera el de una mquina bidimensional cuya cinta se
extendera infinitamente hacia arriba, abajo, derecha e izquierda. En la modificacin bidimensional de
MT que se muestra en la figura tambin se agregan dos nuevos movimientos del cabezal {U,D} (es decir
arriba y abajo). De esta forma la definicin de los movimientos que realiza el cabezal ser {L,R,U,D}.
 APLICACIONES DE MAQUINAS DE TURING

Teora de la computacin:
Rama de la matemtica y la computacin que centra su inters en las limitaciones y capacidades
fundamentales de las computadoras, esta teora busca modelos matemticos que formalizan el concepto
de hacer un cmputo (cuenta o clculo) y la clasificacin de problemas de acuerdo a su grado de
dificultad.

Mquinas Orculo (O-Machines)

Es una mquina de Turing equipada con un orculo que es capaz de contestar preguntas sobre la
pertenencia a un conjunto especfico de nmeros naturales. Funcionamiento: La mquina tambin tiene
tres estados especiales: el "estado llamada", el "estado-1" y el "estado-0" y un smbolo marcador
especial: (m). Para usar su orculo, la mquina debe escribir primero el smbolo en dos recuadros
de la cinta, y entonces se entrar en el "estado llamada". En este estado se manda una peticin al
orculo y la mquina termina en el "estado-1" si el nmero escrito en los cuadrados de la cinta entre los
smbolos "" son un elemento del conjunto orculo y termina en el "estado-0" en otro caso.

Inicio
 MAQUINAS DE TURING RECONOCEDORAS
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
aceptadores, los estados con salida
"positiva" se denominan estados finales.
MT capaz de RECONOCER o ACEPTAR un
lenguaje L. Una MT RECONOCE un
lenguaje L, si dada una entrada (w) en
la cinta, la MT SIEMPRE se para, y lo
hace en un EF si y slo si: w L
Una MT ACEPTA un lenguaje L, si dada
una entrada (w) en la cinta, la MT se
para en un Estado Final si y slo si: w
L. As, en este caso, si w L , la MT
podra no parar.
Inicio
 MAQUINAS DE TURING TRANSDUCTORAS
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.
Modifica el contenido de la cinta realizando
cierta funcin, ejemplos:
MT que sus+tuye los dgitos por cero
MT que aade un bit de paridad a la
entrada
MT que duplica el nmero de 1s que hay
en la cinta
Si la Entrada est bien formada: debe
terminar en un Estado Final.
Si la Entrada No est bien formada: debe
terminar en un Estado No Final.
Inicio
 MAQUINA UNIVERSAL Y TURING

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. Para poder
construir una UTM es necesario definir una codificacin de las mquinas de Turing, de manera
que podamos indicar la mquina de Turing a simular por medio de su cdigo.

La codificacin cannica de una mquina de Turing es una cadena formada mediante el alfabeto
= { <, >, [, ], #, 0, 1, , R, L }.

Se denomina Lenguaje Universal al conjunto de cadenas

LU = {)M,w* | M acepta w} .

Inicio
 MAQUINA DE TURING

Es un dispositivo de reconocimientos de lenguaje, es ms general

que cualquier autmata finito y cualquier autmata de pila, debido
a que ellas pueden reconocer tanto los lenguajes regulares, como
los lenguajes independientes de contexto y adems muchos otros
tipos de lenguajes.

La mquina de Turing 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.

Una mquina de Turing es un dispositivo que transforma un INPUT

en un OUTPUT despus de algunos pasos. Tanto el INPUT como el
OUPUT constan de nmeros en cdigo binario (ceros y unos).
 MAQUINA DE TURING
En su versin original la mquina de Turing consiste en una cinta infinitamente larga con unos y
ceros que pasa a travs de una caja. La caja es tan fina que solo el trozo de cinta que ocupa un bit
(0 1) est en su interior. La mquina tiene una serie de estados internos finitos que tambin se
pueden numerar en binario.

Para llevar a cabo algn algoritmo, la mquina se inicializa en algn estado interno arbitrario. A
continuacin, se pone en marcha y la mquina lee el bit que se encuentra en ese momento en su
interior y ejecuta alguna operacin con ese bit (lo cambia o no, dependiendo de su estado interno).
Despus se mueve hacia la derecha o hacia la izquierda, y vuelve a procesar el siguiente bit de la
misma manera. Al final se para, dejando el resultado al lado izquierdo por ejemplo.

La mquina 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 mquina se limitan a:
Mover el cabezal lector/escritor hacia la derecha.
Mover el cabezal lector/escritor hacia la izquierda.
 MAQUINA 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. Formalmente, una mquina de Turing es una 7-tupla MT=(Q, , , s, b, F, ) donde:
Q es el conjunto de estados de la mquina
es un conjunto finito de smbolos distinto del espacio en blanco, denominado alfabeto de mquina o de
entrada.
es un conjunto finito de smbolos de cinta, denominado alfabeto de cinta
s Q es el estado inicial de la mquina
b es un smbolo denominado blanco, y es el nico smbolo que se puede repetir un nmero infinito de
veces
F Q es el conjunto de estados finales de aceptacin.
:Qx Q x x {L, R} es una funcin de transicin, donde L es un movimiento a la izquierda y R es el
movimiento a la derecha.
Existen en la literatura un abundante nmero de definiciones alternativas, pero todas ellas tienen el mismo
poder computacional, por ejemplo se puede aadir el smbolo S como smbolo de "no movimiento" en un
paso de cmputo.
Inicio
 BIBLIOGRAFIA

https://es.slideshare.net/emmanuelcolon/la-maquina-de-turing
https://es.slideshare.net/TwinOneal/mquinas-de-turing-tipos-y-aplicaciones
https://es.slideshare.net/taniaarroyo8/ppt-turing
http://maquinasdeturing.blogspot.com.co/2010/08/conclusiones.html
https://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing
https://www.ecured.cu/M%C3%A1quina_de_Turing
http://maquinaturing.blogspot.com.co/
http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-lenguajes-
formales/material-de-clase-1/tema-7-maquinas-de-turing