ACTIVIDAD FASE 4

FINAL

Grupo: 301405_53

Tutor: CESAR JIMENEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BSICAS TECNOLOGAS E INGENIERA
AUTMATAS Y LENGUAJES FORMALES
BOGOTA, MAYO 2017

1
 CONTENIDO

INTRODUCCION................................................................................................................ 3
FASE 4 ACTIVIDAD FINAL.................................................................................................4
Ejercicio 1:....................................................................................................................... 4
Ejercicio 2........................................................................................................................ 6
Ejercicio 3:....................................................................................................................... 9
Ejercicio 4:..................................................................................................................... 10
Bibliografa........................................................................................................................ 12

2
 INTRODUCCIN

Este trabajo corresponde a la ltima actividad de la asignatura Autmatas y

Lenguajes Formales que consiste en realizar una serie de ejercicios con el fin de afianzar

los conocimientos adquiridos en las unidades 1, 2 y 3, a continuacin se muestra el

resultado paso a paso de cada uno de los temas vistos durante el curso, demostrando los

conocimientos adquiridos.

3
 FASE 4 ACTIVIDAD FINAL

Teniendo en cuenta el siguiente autmata, desarrollar paso a paso cada uno de los
ejercicios:

Ejercicio 1:

Realizar la conversin de AFD a AFND o de AFND a AFD segn corresponda

RTA: El autmata es un AFND y se realiza la conversin a un AFD, con los siguientes

pasos:

Tabla de Transiciones

Conjunto a b
A = {0} U {} B = {1} U {} C = {2} U {}
B = {1} U {} D = {3,5} U {4} E = {4} U {}
C = {2} U {} F = {3} U {4} G ={0} U {}
D = {3,5} U {4} H = {5} U {} H = {5} U {}
E = {4} U {} - - - - H = {5} U {}
F = {3} U {4} - - - - H = {5} U {}
G = {0} U {} B = {1} U {} C = {2} U {}
H = {5} U {} H = {5} U {} - - - -

Conjuntos del Nuevo autmata

Para realizar la conversin se dejan solo las letras pertenecientes a los conjuntos
que sern los nuevos estados.

4
 Conjunto a b
A B C
B D E
C F G
D H H
E - H
F - H
G B C
H H -

Nuevo autmata (AFD)

5
Ejercicio 2:

Realice la minimizacin paso a paso del autmata finito determinista

RTA: Para el proceso de eliminacin de estados y reduccin del autmata se utiliz el

mtodo de conjuntos que se explica a continuacin:

Se nombran los estados del autmata con las letras del abecedario para mayor
comprensin del ejercicio.

Se utilizaron las letras de la A al H.

Se crean dos conjuntos, uno con los estados aceptadores y otro con los estados
que no son aceptadores.

Conjunto V = {E,F,H}
Conjunto W = {A,B,C,D,G}

Se evalan los conjuntos con el lenguaje ={a,b}

Conjunto V
Conjunt a b
o
E - V
F - V
H V -
Conjunto W

Conjunt a b
o
A W W
B W V
C V W
D V V
G W W

6
 Se crean un conjunto ms para las letras que tienen las mismas transiciones (se
muestra en la tabla), entonces nos quedan los siguientes conjuntos:

Conjunto V = {E, F, H}
Conjunto W = {B, C, D}
Conjunto X = {A,G}

Se evalan los conjuntos con el lenguaje ={a, b}

Conjunto V

Conjunt a b
o
E - V
F - V
H V -

Conjunto W
Conjunt a b
o
B W V
C V X
D V V

Conjunto X

Conjunt a b
o
A W W
G W W

Se crean dos conjuntos ms para las letras que no tienen las mismas transiciones
(C y D), entonces nos quedan los siguientes conjuntos:

Conjunto V = {E, F, H}
Conjunto W = {B}
Conjunto X = {C}
Conjunto Y = {D}
Conjunto Z= {A, G}

Se evalan los conjuntos con el lenguaje ={a, b}

7
Conjunto V
Conjunt a b
o
E - V
F - V
H V -

Conjunto W

Conjunt a b
o
B Y V

Conjunto X

Conjunt a b
o
C V Z
Conjunto Y

Conjunt a b
o
D V V

Conjunto Z

Conjunt a b
o
A W X
G W X

Los nuevos conjuntos nos servirn para crear el autmata minimizado como se
muestra a continuacin.

Conjunto V = {E,F,H}
Conjunto W = {B}
Conjunto X = {C}
Conjunto Y = {D}
Conjunto Z = {A,G}

Se realizan las transiciones de acuerdo a la tabla y se forma el autmata

minimizado.

8
Ejercicio 3:

Escriba la expresin regular y el lenguaje regular del autmata minimizado

RTA:
Expresin regular:
Teniendo en cuenta nuestro autmata finito determinista buscamos las ecuaciones para
cada estado. Cabe aclarar que esta conversin se realiza a partir de la ley de Arden.

Z=aW
W= a Y + b V
Y = a V +b V
X=bZ+ aV
V= a V + b V+

V = (a+b)V+ y la cambiamos por su equivalente (a+b)* quedando V=(a+b)*

X = b Z + a V utilizamos la misma frmula x= rx +s quedando as X=a,b(a+b)*
Y = a V +b V = aa,b(a+b*)
W = a Y + b V = aaa,b(a+b)*
Z = a W = (ab+aaa,b)(a,b)*

Quedando nuestra respuesta de la siguiente manera:

(abIaaa,b)(aIb)*

Lenguaje regular:

L1={w { a , b }}

9
Ejercicio 4:

Teniendo en cuenta la expresin regular del autmata finito determinista realice una
Mquina de Turing reconocedora que lea las mismas cadenas.

RTA

10
 Como realiza la lectura la maquina

1. Inicia en el estado q0 y el cabezal en el primer smbolo de la cadena

2. Reconoce la A en la cinta, lo cambia por 1 y el cabezal se mueve a la derecha.
Cambia a estado q1
3. Reconoce la B en la cinta, lo cambia por 2 y el cabezal se mueve a la derecha.
Cambia a estado q5. Como llega al estado final lee la cadena encontrada, la cual
se escribe desde donde se encuentra el cabezal.
4. Inicia en el estado q0. Reconoce la B en la cinta y la cambia por 2 y el cabezal se
mueve hacia la derecha. Cambia a estado q2.
5. Reconoce la B en la cinta, lo cambia por un 2 y el cabezal se mueve a la derecha.
Cambia a estado q0.
6. Inicia en el estado q0. Reconoce la B en la cinta y la cambia por 2 y el cabezal se
mueve hacia la derecha. Cambia a estado q2.
7. Reconoce la A en la cinta, lo cambia por 1 y el cabezal se mueve a la derecha.
Cambia a estado q3. Como llega al estado final lee la cadena encontrada, la cual
se escribe desde donde se encuentra el cabezal.
8. Reconoce un espacio vaco y lo cambia por otro y el cabezal se mueve a la
derecha. Cambia a estado q4. Como llega al estado final lee la cadena
encontrada, la cual se escribe desde donde se encuentra el cabezal.
9. Inicia en el estado q0. Reconoce la a en la cinta y la cambia por 1 y el cabezal se
mueve hacia la derecha. Cambia a estado q1.
10. Reconoce la B en la cinta y la cambia por un 2 y el cabezal se mueve hacia la
derecha. Finaliza en estado q4.
11. Inicia en el estado q0. Reconoce la a en la cinta y la cambia por 1 y el cabezal se
mueve hacia la derecha. Cambia a estado q1.
12. Reconoce la A en la cinta y la cambia por un 1 y el cabezal se mueve hacia la
derecha. Cambia a estado q3. Como llega al estado final lee la cadena
encontrada, la cual se escribe desde donde se encuentra el cabezal.

11
 BIBLIOGRAFA

Amarillo, A. M. (30 de 05 de 2016). Conversion de AFN a AFD con transiciones vacias.

Recuperado el 05 de 2017, de YouTube: https://www.youtube.com/watch?
v=NF47BSorRfU

MonitoresUCaldas. (19 de 10 de 2013). Expresion Regular de Un Automata. Recuperado

el 05 de 2017, de YouTube: https://www.youtube.com/watch?v=mCHpn-msFnw&t=29s

12