Está en la página 1de 7

FASE 4: ACTIVIDAD INDIVIDUAL.

LENGUAJES REGULARES

FASE 4: ACTIVIDAD INDIVIDUAL 1.

FRANKLIN AREVALO RHENALS


CÓDIGO: 17951893

AUTÓMATAS y LENGUAJES FORMALES

GRUPO: 301405_8

TUTOR
EDGAR ANTONIO CORTEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD).


ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERA
INGENIERIA SISTEMAS
SANTA MARTA
2017
Actividades individuales:

Actividad 1:

El estudiante realiza una presentación con la definición, características y propiedades de:

Máquinas de Turing ,
Máquinas de Turing reconocedoras
Máquinas de Turing transductoras
Maquina universal y Turing
MÁQUINAS DE TURING
Dispositivo hipotético o abstracto (que no existe físicamente)que representa una máquina de computación. puede ser
adaptada para simular la lógica de cualquier algoritmo de computador, ejecuta instrucciones sobre una entrada, produciendo
una salida y es particularmente útil en la explicación de las funciones de una CPU dentro de un computador es capaz de
manipular símbolos en una tira de cinta considerando ciertas reglas. A pesar de su simplicidad, pueden simular la lógica de
cualquier algoritmo de un computador.
Características:
La cinta se supone que es infinita con cuadros vacíos por ambos lados. Inicialmente la cinta no contiene símbolos o número o
letras. Pero desde el estado q se le da un infinito números o símbolos consecutivos de input (de Σ) y cada cuadro es capaz de
almacenar un símbolo del conjunto precedidos y seguidos por el símbolo llamado alfabeto(Σ) (0, 1, □) que pertenece al
conjunto Γ que es el conjunto de símbolos posibles. Y parte de un punto inicial q que es q0.

La cabecera de izq./der. un paso a la vez. Está situada inicialmente sobre el elemento más a la izquierda de la palabra. Toda
MT se representa por una tabla de transición (como el resto de Autómatas). Si la transición No es posible à La MT se detiene.
MÁQUINA DE TURING RECONOCEDORA

La máquina de Turing reconocedora. Se denomina así porque la resolución de un problema consiste en reconocer
el lenguaje que representa el problema, más precisamente, el lenguaje de las cadenas de símbolos que representan
las instancias positivas del problema.
La maquina reconoce el lenguaje L, si dada una entrada (w) en la cinta, la maquina Turing siempre se para,y lo hace en un EF y solo si : w ∈ L.
Una Maquina de Turing ACEPTA un lenguaje L, si dada una entrada (w) en la cinta, la MT se para en un Estado Final si y sólo si: w ∈ L • Así, en
este caso, si w ∉ L , la MT podría no parar.
El funcionamiento es el siguiente:
Recorre la cadena de entrada marcando los primeros 0's de cada bloque hasta llegar al final, marcando siempre el primero que encuentra con el
simbolo Y. (q0, q1, q2)
Vuelve atrás hasta el símbolo Y y repite el paso 1. (q3)
Si en el primer marcaje (q0) encuentra un 1, sigue al siguiente bloque, si encuentra un B, la cadena es válida y la recorre para cambiar todos los
X e Y por 0's (q4)
Si en el segundo marcaje o sucesivos (q1) encuentra un 1 o un B, la cadena no es válida y la recorre borrando todos los símbolos (q5, q6)
En esta M.T. se ha usado el alfabeto {0,1,B,X,Y}. Se asume que la posición inicial es el primer símbolo de la cadena de entrada. Si tan sólo
debiera rechazar la cadena y no dejarla a 0's se pueden comentar todos los estados q5 y q6 y f(q1,1), f(q1,B).
Maquina de Turing que actúa como TRANSDUCTORA: • Modifica el contenido de la cinta realizando cierta función.
Modifica el contenido de la cinta realizando cierta función.
Maquina de Turing que sustituye los dígitos por cero, Maquina de Turing que añade un bit de paridad a la entrada,
Maquina de Turing que duplica el número de 1s que hay en la cinta …
Para cada entrada posible, los contenidos de la cinta al final del proceso deben ser iguales.
Para actuar como reconocedor ambas deben Aceptar y/o Reconocer las mismas palabras.
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.
Máquina de Turing que se comporte como transductor, porque genera una salida en la cinta. Tendremos un solo
estado, que será el inicial, q0, sobre el que se realizan todas las transiciones MT1=({0,1},{0,1, □}, □,{q0},q0,f,{Φ}),
donde f:
MAQUINA UNIVERSAL Y MAUINA DE TURING

Una máquina universal de Turing (UTM) es una máquina de Turing que puede simular una máquina de Turing arbitraria
en la entrada arbitraria. La máquina universal esencialmente logra esto mediante la lectura de tanto la descripción de
la máquina a ser simulada como también la entrada misma de su propia cinta. Es también conocida como una máquina
de computación universal, máquina universal.

Una máquina de Turing es un dispositivo que transforma un INPUT en un OUTPUT después de algunos pasos. Tanto el
INPUT como el OUPUT constan de números en código binario (ceros y unos). En su versión original la máquina de
Turing consiste en una cinta infinitamente larga con unos y ceros que pasa a través de una caja.
Toda máquina de Turing computa una cierta función parcial computable fija desde las cadenas de entrada sobre su alfabeto.
En ese sentido se comporta como un computador con un programa fijo.
BIBLIOGRAFÍA
Universidad Carlos III de Madrid. Teoría de Autómatas Obtenido de:
file:///C:/Users/Familia%20Arevalo%20Meza/Downloads/ejercicios_Tema7_UC3M_TALF-SANCHIS-LEDEZMA-
IGLESIAS-GARCIA-ALONSO.pdf

Libros de catedra compatibilidad complejidad de Ricardo Rosenfeld y Jerónimo Irazabal Obtenido de:
http://sedici.unlp.edu.ar/bitstream/handle/10915/27887/Documento_completo__.pdf?sequence=3

Maquina de Turing Universal Obtenida de:


https://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing_universal

También podría gustarte