AUTMATAS Y LENGUAJES FORMALES

TRABAJO COLABORATIVO 2

PRESENTADO POR:
LORENA PERDOMO HERNANDEZ CODIGO: 1.110.540.139
JUAN FRANCISCO GUTIERREZ LOPEZ CODIGO: 1.110.533.063
DANIEL ALEJANDRO BETANCOURT BEJARANO CODIGO: 98021705349
JAEL TRUJILLO SEPULVEDA CODIGO: 7.686.503
DARWIN FERNANDO URREGO PARRA CODIGO: 1104696856

ANGELA MARIA GONZALES

(TUTORA)

GRUPO: 301405_52

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

IBAGUE
2016

INTRODUCCIN

En el siguiente trabajo abordaremos los temas sobre AFD, AFND y sus respectivas
expresiones regulares, as como minimizacin de autmatas, gramticas y rboles de
derivacin, Trabajaremos sobre los autmatas de pila y su caracterizacin, diseo y leguaje
aceptado, basndonos en los materiales dados por los conocimientos obtenidos por el curso,
Tambin utilizando las herramientas para la implementacin y comprobacin de los
autmatas y sus respectivos anlisis.

PROBLEMAS A DESARROLLAR

PARTE 1: HALLAR EL AUTMATA MNIMO CORRESPONDIENTE al siguiente autmata

finito.

1. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata. (Antes de

minimizar)
Este autmata es una quntupla compuesta por un estado inicial, una funcin de transicin, unos
estados de aceptacin, un conjunto de estados, un lenguaje y un alfabeto (1,0)
Lo definimos como:

5-tupla (Q , , q 0, , F)

donde:

Q = Conjunto finito de estados

= Alfabeto finito de smbolos de entrada

q0 = Es el estado inicial
F = Conjunto de estados finales o de aceptacin y por consiguiente subconjunto de Q
=

Es la relacin de transiciones que a partir de un estado y un smbolo del alfabeto

obtienen un nuevo estado.

As que:
Q={q 0, q 1, q 2, q 3, q 4, q 5, q 6, q 7, q 8, q 9 }
={1,0 }
q 0={q 0 }
F={q 3, q 5, q 8 }
={(q 0,1) q 1,( q 5,1)q 1,(q 0,0) q 2,( q 3,0) q 2,(q 2,0)q 3,

( q 9,1 ) q 4, ( q 7,1 ) q 4, ( q 6,0 ) q 4, ( q 1,1 ) q 5, ( q 3,1 ) q 6, ( q 4,0 ) q 6,

( q 8,1 ) q 6, ( q 5,0 ) q 7, ( q 4,1 ) q 7, ( q 8,0 ) q 7, ( q 7,0 ) q 8, ( q 6,1 ) q 8,
( q 1,0 ) q 9, ( q 2,1 ) q 9,(q 9,0) q 0 }

2. Plasme la tabla de transicin del autmata. (No es la que generas VAS). (Antes de
minimizar)

Estados

*q0

q2

q1

q1

q9

q5

q2

q3

q9

#q3

q2

q6

q4

q6

q7

#q5

q7

q1

q6

q4

q8

q7

q8

q4

#q8

q7

q6

q9

q0

q4

Donde la funcin
={ q 0 ,q 1 ,q 2 ,q 3 ,q 4 , q5 , q 6 , q 7 , q 8 ,q 9 } x {0,1 } { q0 , q1 , q2 , q3 , q 4 , q 5 ,q 6 , q7 , q8 , q9 }

( q0 , 0 )=q2

0 ( q0 ,1 ) =q 1 1

q
( 1 , 0)=q 9

( q1 ,1 ) =q5

( q2 ,0 )=q 3

( q2 ,1 ) =q 9

( q3 , 0 )=q2

( q3 ,1 ) =q 6

( q4 , 0 ) =q 6

( q4 , 1 )=q7

( q5 , 0 )=q7

( q5 ,1 ) =q 1

( q6 , 0 )=q4

( q6 ,1 ) =q 8

( q7 , 0 )=q8

( q7 ,1 ) =q 4

( q8 , 0 )=q7

( q8 ,1 ) =q 6

( q9 , 0 )=q0

( q9 ,1 ) =q 4

q0

q2

q1

q1

q9

q5

q2

q3

q9

q3

q2

q6

q4

q6

q7

q5

q7

q1

q6

q4

q8

q7

q8

q4

q8

q7

q6

q9

q0

q4

3. Identifique El Lenguaje que reconoce. (Antes de minimizar)

L= A { 0,1 } / A :ellenguaje que reconoce ser el de todas las posibles cadenas que empiezan por 0 por 1,
y que terminanen 0 1, sequidos de una combinacin de uno o varios 0 1,bajo ciertas condiciones

( propiedades ) que resultan complejas ( ER ) por eso es que se reduce o minimiza el autmata .
4. Identifique la ER y en una tabla de validacin (puede ser de Excel), verifique una cadena vlida y
una no vlida. Tenga en cuenta la jerarqua de operadores. (Antes de minimizar)
ER = ((10+01+00(00)*01+11(11)*10)0)*(00(00)*+11(11)*+(00(00)*1(00)*1+(11(11)*0+00(00)*1(00)*01)
(11+10(00)*01)*(0+10(00)*1))(1(00)*1+(0+1(00)*01)
(11+10(00)*01)*(0+10(00)*1))*+(10+01+00(00)*01+11(11)*10)(10(00)*1+(11+10(00)*01)
(11+10(00)*01)*(0+10(00)*1))(1(00)*1+(0+1(00)*01)(11+10(00)*01)*(0+10(00)*1))*)
11
1111
111111
111
00000
01

Cadena valida
Cadena valida
Cadena valida
Cadena no valida
Cadena no valida
Cadena no valida

5. Identifique los estados Distinguibles y los No distinguibles

Distinguible: se conoce como distinguible a aquellos estados en los cuales uno es estado final y el otro
es un estado no final. Por lo tanto no pueden ser equivalentes.
No distinguibles: se conoce como estados no distinguibles a aquellos en los cuales se presenta como
estados finales.

Conjuntos Distinguibles
X ={q 3 , q 5 , q 8 }

Conjuntos no Distinguibles
Y ={q0 , q1 , q2 , q 4 ,q 6 , q7, , q 9 }

6. Identifique los estados equivalentes (para ello muestre cmo evala esas equivalencias,
colocando a los estados candidatos de equivalencia como estados iniciales). Evidencie el proceso
de cmo los evala.

Validando conjunto X:

q3

0
Y

1
Y

q5

q8 Y

Validando conjunto Y

0
q0 Y

1
Y

q1

q2 X

q4 Y

q6 Y

q7

q9 Y

7. En el proceso de eliminacin de estados, identifique que transiciones se eliminan y cules se re

direccionan. Muestre la tabla de estados distinguibles.

Nuevos conjuntos:
X ={q 3 , q 5 , q 8 }

A={q 0 , q 4 , q9 }

B={q1 , q6 }

C={q 2 , q 7 }

Validando X:

q3

0
C

1
B

q5

q8 C

Validando A:
0
C

1
B

q4 B

q9 A

q0

No son equivalentes

Validando B:
0
A

1
X

q6 A

q1

Validando C:
0
q2 X

1
A

q7 X

Nuevos conjuntos que se forman son:

X ={q 3 , q 5 , q 8 }

Validando X:
q3

0
C

1
B

q5

q8 C

Validando B:
0
E

1
X

q6 E

q1

Validando C:
0
q2 X

1
E

q7 X

Validando D:
q0

0
C

1
B

Validando E:
0

B={q1 , q6 }

C={q 2 , q 7 }

D={q0 }

E={q 4 }

F={q 9 }

q4 B

Validando F:
0
q9 D

1
E

Nueva tabla de transicin:

X
B
C
D
E
F

0
C
E
X
C
B
D

1
B
X
E
B
C
E

Las transiciones que se eliminan son:

Autmata minimizado con JFLAP

10. Identifique El Lenguaje que reconoce. (Autmata ya minimizado).

El autmata planteado es un Autmata finito determinista, reconoce las cadenas que inicien con 0 o
con 1 sin afectar el funcionamiento del autmata, lo que implica que reconoce el lenguaje.

11. Identifique la ER del autmata ya minimizado y en una tabla de validacin (puede ser de
Excel), verifique una cadena vlida y una no vlida. Tenga en cuenta la jerarqua de operadores.
(Autmata ya minimizado)

Utilizando la herramienta JFLAP se realiza la representacin para minimizar el autmata.

Verificacin de una cadena valida y una no valida.

Expresin regular

Cadena valida

Cadena no valida

10+01+00

10

11

10+01*11

11111111

0000000

12. (Autmata minimizado) Identifique su gramtica (de forma manual) por la derecha y
caractercela.. Debe incluir el diagrama de estados con los componentes de la gramtica
asociados a las variables y a las constantes.
Las partes izquierda son de longitud 1 y se representa:
F 1I
I 1F
G
G0D
H0C
C0H
S0C
A1B
H
D1B

Comprobamos con el JFLAP usando la opcin de gramtica.

Parte 2
Disee un AP que desarrolle el siguiente lenguaje
exceptuando o rechazando cadenas como:
Cadenas vlidas.
0122
011222
00112222
0011122222
000111222222
Cadenas no vlidas
012
001122
000111222
0000112222

L={0i 1 j2 i+ j/i , j 1} , (con pila vaca):

1. Describa el autmata en notacin matemtica.

Este autmata es una sptupla compuesta por los siguientes componentes:
APND=(Q, , , , q 0, Zo)
Q={q 0, q 1, q 2, q 3, q 4 }
={0,1,2 }
{Z , 0,1 }
q 0=Estado inicial
Z =Inicio de Pila

=Funcion de Transicion= :Q

2. Determine si el lenguaje aceptado de este autmata con pila se lleva a cabo por:
Aceptacin por estado final o por Aceptacin por pila vaca.
El lenguaje aceptado por este autmata se lleva a cabo por Aceptacin por pila vaca, debido
a que no posee un estado final y al terminar de leer la cadena, que debe ser vlida, la pila
queda sin ningn smbolo.
3. Justifique y evidencie si el diseo es un APND o un APD
Este autmata de pila es no determinista ya que posee unas transiciones que no van ligadas
a cada smbolo del alfabeto, adems posee unas transiciones que no consumen ningn
smbolo de entrada. Como se puede ver del estado q0 a q3 pues no consumi ningn
smbolo de entrada.
4. Grafquelo en JFLAP y realice el Traceback para las transiciones. (Las
columnas para un AP son: El estado en que se encuentra el autmata, lo que
falta por leer de la palabra de entrada, y el contenido de la pila).

Estado
q0
q3
q3
q1
q2
q2

Falta Por Leer

0122
0122
122
22
2

Contenido de Pila
z
0
10
0

5. Plasme las imgenes del recorrido de ese Traceback para cada movimiento en el
documento. (Se debe apoyar en JFLAP) (Documente el proceso)

6. Muestre el diagrama correspondiente de estados.

7 Determine si su diseo acepta o no la cadena vaca y explique por qu, en

cualquier caso, demostrando el recorrido o comportamiento de la Pila para ese
evento. (evidencindolo).
8
El autmata acepta la cadena vaca

Debido a la transicin aplicada entre los estados q0 y q2 con una transicin con
el carcter vaco ya que las exclusiones que se hacen referentes al lenguaje no
se excluye del lenguaje vaco

CONCLUSIONES

Se realiza la minimizacin del autmata, lo que permite facilitar el anlisis del

mismo y obtener las expresiones regulares, as como los estados distinguibles

y no distinguibles, adems de poder establecer las cadenas vlidas y no validas

del autmata.
Se reconocen las cadenas aceptadas por el autmata, que permite el autmata
en su funcionamiento y la obtencin de las gramticas independientes de
contexto.

REFERENCIAS

WEB conference 1 5 recuperado de; http://conferencia2.unad.edu.co/p4fv6u3tgb7/?

launcher=false&fcsContent=true&pbMode=normal
Carrasco, Rafael C., Jorge Calera Rubio, and Mikel L. Forcada Zubizarreta. Teora De
Lenguajes, Gram ticas Y Autmatas Para Inform ticos. [Alicante]: Digitalia, 2000.
eBook Collection (EBSCOhost). Web. 16 Feb. 2016. Disponible en:
http://datateca.unad.edu.co/contenidos/301405/2016/Libro_Auto matas_0.pdf
http://datateca.unad.edu.co/contenidos/301405/2016/libro_Auto matas_1.pdf
http://datateca.unad.edu.co/contenidos/301405/2016/libro_Auto matas_2.pdf