ACTIVIDAD COLABORATIVA

AUTMATAS Y LENGUAJES FORMALES

FASE 2: AUTMATAS CON PILA Y GRAMTICAS

FREDDY CASTELLANOS VILLAMIZAR

CODIGO: 88.157.266

TUTOR: CESAR JIMENEZ

UNAD - INGENIERA DE SISTEMAS

GRUPO: 301405A_363

Octubre 2017
 Ejercicio 1

Teniendo en cuenta el siguiente autmata realizar el proceso de

minimizacin. Se debe realizar el procedimiento paso a paso.

= {, , , , }

= { , , , , , , , , }

= {, }

= { , , }
Transiciones

a b

Estados Aceptadores

= { , , }

Estados no aceptadores

= { , , , , , }

Transicin estados aceptadores

a b
X Y
X X
Y X

Transicin estados aceptadores

a b






Conjuntos Equivalentes

= {3 }

= {4 }

= {7 }

= {0 }

= {1 , 5 , 8 }

= {2 , 6 }

N a b
1 Y N
5 X P
8 Z N

P a b
2 M X
6 N X

Conjuntos equivalentes

= {3 }

= {4 }

= {7 }

= {0 }

= {1 }

= {5 }

= {8 }

= {2 }

= {6 }
X a b
X P

Y a a
X X

Z a a
N Z

M a a
Y X

N a a
1 Y N

O a a
5 X R

Q a a
8 Z O

P a a
2 M X

R a a
6 N X
Autmata Minimizado

Tabla transicin

a b
M Y X
P M X
X X P
Y X X
O X R
Q Z O
R N X
N Y N
Z N Z
El Lenguaje que reconoce

El autmata reconoce el lenguaje regular formado por las letras a y b.

Reconoce como correcto las palabras que empiecen por a o b y tengan un solo

carcter.

Reconoce como correcto las palabras de dos caracteres y que empiecen

por a

Reconoce las palabras que empiecen por b seguido de cualquier cantidad

de letras a

Gramtica

 Ejercicio 2

Disee un AP que lea el siguiente lenguaje = {( : > 0, > 0}

(con pila vaca).

Describa el autmata en notacin matemtica

Sptupla A= (, , Q, Z0, q0, f, F)

= 0,1

= {0 , 1 , 2 }

= 0 ,

0=

= {1 . 2 }

Z0 = simbolo inicial de la pila

Lenguaje que reconoce

Reconoce el Un lenguaje libre del contexto. Dado por las palabras que empiecen
por 0 y finalicen por 1

Grafica
Plasme las imgenes del recorrido de ese Traceback para cada movimiento

en el documento. (Se debe apoyar en JFLAP) (Documente el proceso).