UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Autmatas y Lenguajes Formales: Grupo 24

AUTOMATAS Y LENGUAJES FORMALES

TRABAJO COLABORATIVO 1 APORTE INDIVIDUAL.

TUTOR: CARLOS ALBERTO AMAYA TARAZONA

PRESENTADO POR: LUIS EDGAR CARBONELL CRISTYS.

BOGOT, DC., 29 MARZO 2014

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Autmatas y Lenguajes Formales: Grupo 24

PARTE 2: Para cada una de las Expresiones Regulares siguientes (ER) realice: 6. Identifique el lenguaje que representa: (tenga en cuenta como se plasma o identifica un lenguaje aceptado: mdulo pgina 47 leccin 10) 7. Genere tres cadenas vlidas y dos no vlidas 8. Plasme las tres cadenas vlidas para cada ER en una tabla (identificando jerarqua de operadores regulares, identificando colores). Para ello apyese en el video: http://youtu.be/JZPAHHA2PnE (minuto 14 al 33) 9. Identifique en la misma tabla por que las dos cadenas seleccionadas no se aceptan o en que parte se trunca la jerarqua y orden de los operadores. 10. Seleccione una ER (solo una) y exprtela o genere el autmata o el diagrama de Moore que sea vlido.

EXPRESIONES REGULARES:

PRIMERA: (A+B)*B(B+A)B(B+A)* Punto6. De tal manera que esa cadena empiece con A o con B donde b debe aparece por lo menos unas ves. Punto 7. Cadenas validas: abab ababaa ababbbaa Cadenas no validas: baaba baaabb
Punto 8.

(a +b) *b (b+ a) b (b+ a)* a b a b a b a b aa a b a b bb aa

Punto 9 Las cadenas identificadas como cadenas no validad en este ejercicio no son validad por que no cumplen con la transicin de entrada para cada estado.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Autmatas y Lenguajes Formales: Grupo 24

SEGUNDA: (0+1)*11(1+0)0(1+10*)* Punto6. De tal manera que esa cadena empiece con un 0 donde 1 puede aparecer por lo menos unas ves. Punto 7. Cadenas validas: 0111100 01100 0111101 Cadenas no validas: 10 110 Punto 8.

(0 +1) *1 1 (1 +0) 0 (1+ 1 0*)* 0 1 1 1 1 0 0 11 0 0 0 1 11 1 0 1

Punto 9 Las cadenas identificadas como cadenas no validad en este ejercicio no son validad por que todas las cadenas deben empezar por 0.

TERCERA: 0*1*+(01)*+(11*00*+01) Punto6. De tal manera que esa cadena empiece con 0 donde 1 puede aparecer ninguna una o ms veces. Punto 7. Cadenas validas: 1100 000111 0101 Cadenas no validas: 0010 101100 Punto 8.

0* 1* +(0 1)* + (1 1* 0 0* 0 1) 1 1 0 0 0 0 0 1 0 1 0 1

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Autmatas y Lenguajes Formales: Grupo 24

Punto 9 Las cadenas identificadas como cadenas no validad en este ejercicio no son validad por que no cumplen con la transicin de entrada para cada estado.

CUARTA: Una ER libre (la que desee construir) (a+b)*(c)(d*!) Punto6. De tal manera que esa cadena empiece con A donde B puede aparecer ninguna, una o ms veces y D puede aparecer por lo menos una ves Punto 7. Cadenas validas: abc aabbc acd Cadenas no validas: dc cab Punto 8.

(a +b)* (c) (d +!) a b c aa bb c

a c d
Punto 9 Las cadenas identificadas como cadenas no validad en este ejercicio no son validad porque el smbolo D y C se encuentra apuntando en el estado final de la transicin Punto 9 ER Seleccionada para exportar el diagrama de Moore, Adicional Adjunto la imagen, el archivo exportado se enviara comprimido en el aporte

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Autmatas y Lenguajes Formales: Grupo 24

QUINTA: LA ER DE LA TABLA DE TRANSICIN DEL AUTMATA DE LA PARTE 1. ER. (X+Z)X*Y+(Y+(X+Z)X*Z)Y*X. PUNTO6. Punto 7. Cadenas validas yyx xxy zxzyx Cadenas no validas yyz xzxy Punto 8.

(x +z) x* y+ (y+ (x+ z) x* z) y* x y y x xx y z x z y x

Punto 9 Las cadenas identificadas como cadenas no validad en este ejercicio no son validad por que no cumplen con la transicin de entrada para cada estado.