UNIVERSIDAD INDUSTRIAL DE SANTANDER Autmatas y Lenguajes Formales - Primer Examen Parcial - Grupo D1 Profesor: Luis Eduardo Zambrano Fz

Todos los numerales tienen igual valor No se permite el uso de calculadoras, porttiles, fotocopias, libros o notas de clase. Por favor apague su celular mientras contesta el examen. No tome cada pregunta a la ligera, intente hacer un anlisis antes de contestar.

1. En cada inciso conteste Falso (F) o Verdadero (V) a ) Para una palabra w, se puede decir que |w|i+j = |w|i + |w|j ? b ) Para una palabra w, se puede decir que |wi+j | = (i + j )|w| ? c ) Si x y z son cadenas sobre un alfabeto , entonces siempre se cumple que1 : (xz )R = z R xR d ) Si A, B y C son lenguajes sobre un alfabeto , entonces A(B C ) = AB AC e ) Tres de los incisos anteriores son verdaderos y uno es falso. 2. Sean A, B y C lenguajes sobre un alfabeto , considere las tres igualdades siguientes I. (A B )R =B R AR II. (A B )R =(B R ) (AR ) III. (A (B C ))R = AR (B R C R ) Cul de las siguientes declaraciones es a ) Solo I y III son verdaderas b ) II es verdadera y I es falsa c ) III es falsa d ) II es verdadera
0 1 1 3. Sea 2 = 0 un alfabeto. Aqu 2 contiene todas las columnas de ceros 0 , 1 , 0 , 1 y unos de altura 2. Una cadena de smbolos en 2 es interpretada como 2 las de ceros y unos. Considere cada la como un nmero binario y sea

falsa ?

C = { w 2 | la la inferior de w es tres veces la la superior}

0 1 0 0 0 1 Por ejemplo, 0 / C . Muestre que C es un lenguaje 0 1 1 0 C pero 0 1 0 regular. Nota: Es suciente construir un autmata -DFA o NFA- que reconozca C R , pues tal autmata mostrara que C R es regular; como el reverso de un lenguaje regular es regular, se tiene que C = (C R )R es regular.

4. Sea B7 = {w | w es un nmero binario que es mltiplo de 7}. Construya un autmata (DFA o NFA) que reconozca B7 . 5. Construya un DFA equivalente para el siguiente NFA que computa sobre el alfabeto = {a, b}. Note que el estado inicial es 1 y el de aceptacin es 2.
1 El

superndice en xR representa el reverso de x

6. En cada inciso, construya un DFA o NFA que reconozca el lenguaje dado. Suponga que el alfabeto es = {a, b} a ) {w | w no contiene ni la subcadena ab ni la subcadena ba} b ) {w | w es cualquier cadena que no contiene exactamente dos aes} c ) {w | w es cualquier cadena excepto a y b} 7. Considere el siguiente DFA, al que llamaremos M , computando sobre el alfabeto = {0, 1}

Note que el estado 0 es el estado inicial y de aceptacin. Cada uno de los siguientes lenguajes es reconocido por el autmata M excepto uno. Cul es? A) B) C) D) E) {0} {11} {0} {0} {1} ({1} {0} {1}) {1} {0} {1} ({1} {0} {1}) {1} {0} {0} {1} ({1} {0} {1}) {0} {100} ({0} {1} ({1} {0} {1}) {1} {0} {0} )

Aclaracin: los lenguajes {0}, {1}, {11} y {100} solo contienen una palabra. El punto representa la concatenacin entre lenguajes, la unin, y, la cerradura estrella. El orden de precedencia de las operaciones es ,, , es decir, primero se realizan las cerraduras, luego las concatenaciones y nalmente las uniones. Naturalmente, los parntesis cambian el orden de precedencia.