ATMATAS Y LENGUAJES FORMALES UNIDAD 3: FASE 3 1

ATMATAS Y LENGUAJES FORMALES

UNIDAD 3: FASE 3: DEBATIR Y DESARROLLAR LOS EJERCICIOS PLANTEADOS

SOBRE MAQUINAS DE TURING

MANUEL LEONARDO BELLO ROZO

CDIGO 80820342

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS, TECNOLOGAS E INGENIERAS

INGENIERA DE SISTEMAS

BOGOTA D.C.

2017
ATMATAS Y LENGUAJES FORMALES UNIDAD 3: FASE 3 2

Ejercicio 1

Disene una MT que se comporte como transductor que reconozca el lenguaje

L ={ab*(bc)*}. La transduccion (salida) debe ser que por cada simbolo que entre cambie el

simbolo del alfabeto de la cinta, de la siguiente manera: a= 0; b=1; c=2.

1. Identifique los componentes de la Maquina de Turing (describala).

Cabezal: En las mquinas de Turing el cabezal tiene una particularidad, este es de lectura
y escritura, osea que este se mueve para los dos lados leyendo y escribiendo en la cinta, el
cabezal puede pasar varias veces por el mismo lado de la cinta, modificando la cinta en el
curso de ejecucion.
Cinta: la cinta est compuesta por varias celdas, en las cuales se almacena simbolos de
entrada, las cuales son las palabras a evaluar o reconocer por el automata. Esta cinta es
finita a la izquierda es decir tiene un tope. La cinta es de longitud infinita hacia la
derecha, llenndose las celdas no ocupadas con caracteres vacios.
Control Finito: Este control est compuesto por un conjunto de reglas y de producciones
por la funcion de transicion, donde esta inmersos. Adicionalmente se determinan una
serie de estados que cambian el comportamiento del automata.

Una MT es un septuplo (K, , , , s) en donde

1. K = es el conjunto de estados tal que h K.

2. = es el alfabeto finito para el lenguaje (0,1).

3. = es el alfabeto de la cinta (a,b).

4. s K es el estado inicial.

5. T K es el estado final.

6. B es el simbolo blanco.
ATMATAS Y LENGUAJES FORMALES UNIDAD 3: FASE 3 3