VICERRECTORA ACADMICA Y DE INVESTIGACIN SUBSISTEMA DE EVALUACIN DE LOS APRENDIZAJES ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA CONVOCATORIA NACIONAL CURSO:

AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

CUADERNILLO DE TEMS TEMS DE SELECCIN MLTIPLE CON NICA RESPUESTA A continuacin, usted encontrar preguntas que se desarrollan en torno a un enunciado, problema o contexto, frente al cual, usted debe seleccionar aquella opcin que responda correctamente al tem planteado entre cuatro identificadas con las letras A, B, C, D. Una vez la seleccione, mrquela en su hoja de respuestas rellenando el valo correspondiente. 1. Sea el alfabeto = {a,b} con la Expresin Regular: a(a+b), identifique las cadenas vlidas que se pueden generar: A. B. C. D. {aba, aab,} {a, aab, abb} {aa, ab,} {a, b, aa, bb}

2. El siguiente Autmata Finito (AF) es origen de:

A. B. C. D.

La conversin de un AFND del ejercicio diez (10) a un AFD La conversin de un AFD del ejercicio diez (10) a un AFND La minimizacin del Autmata Finito (AF) del ejercicio diez (10). La maximizacin (aceptacin de cada transicin) del Autmata Finito (AF) del ejercicio diez (10).

AUTOR:

Carlos Alberto Amaya Tarazona

NODO: Pgina 1 de 9

Tunja

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SUBSISTEMA DE EVALUACIN DE LOS APRENDIZAJES ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA CONVOCATORIA NACIONAL CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

3. Dada el Autmata con la siguiente tabla de transicin, identifique las cadenas que son vlidas para el lenguaje que acepta.

A. B. C. D.

Solo acepta cadenas vacas (lambda). Es un AFND y acepta cualquier cadena que inicie con cero (0). {101, 210, 20,110, 200} {22, 0,1,001122, 12, 012, 022}

4. Para el siguiente autmata, identifique cul es la Expresin Regular (ER) que mejor lo representa:

A. B. C. D.

(ab+ba) + a (ab + aba)* a +(ab)* ab +(ab)*

5. La relacin entre un AP y un LLC (Lenguaje Libre de contexto) permite que dada una Gramtica G, existe entonces un AP que acepta exactamente el lenguaje generado por G.

Dado el siguiente autmata de pila (AP) cuyo funcionamiento se representa en la siguiente tabla, identifique la gramtica correcta y sus reglas que aceptan el LLC dado por el AP.

AUTOR:

Carlos Alberto Amaya Tarazona

NODO: Pgina 2 de 9

Tunja

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SUBSISTEMA DE EVALUACIN DE LOS APRENDIZAJES ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA CONVOCATORIA NACIONAL CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

A. B. C. D.

S > S > S > S >

0A0 | 1S2 | 1 | 0 0A0 | 1S2 | 10 0A0 | 1S1 | 2 0A0 | 1S0 | 2 | 0

6. Una de las tcnicas usadas que permite determinar la indecibilidad en algunos problemas computacionales es: A. B. C. D. Usando el mtodo de Halting Usando el mtodo de Decibilidad de Teoras Lgicas Usando el mtodo de las Funciones computables Usando el mtodo de Reduccin Reducibilidad de Turing

7. Una de las operaciones que se puede formar con las palabras de un alfabeto es La potencia. Dada una palabra w * se define inductivamente la potencia n-sima de w, que se denota w n , como: w 0 = cadena vaca, w n = w . w n 1 para n > 0 Si w = aba es un palabra sobre el alfabeto {a,b} entonces: A. B. C. D. w 2 = aabb w 2 = abaaba w 2 = abab w 2 = ababab

AUTOR:

Carlos Alberto Amaya Tarazona

NODO: Pgina 3 de 9

Tunja

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SUBSISTEMA DE EVALUACIN DE LOS APRENDIZAJES ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA CONVOCATORIA NACIONAL CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

8. La minimizacin de Autmatas, es un ejercicio comn en Automatizacin. Identifique su concepto bsico y aplicabilidad: A. La minimizacin se aplica a los AFD y consiste en obtener un AFD equivalente a uno dado que tenga el menor nmero de estados posibles. B. La minimizacin se aplica a los AFND y consiste en obtener un autmata equivalente que tenga el menor nmero de transiciones posibles. C. En la minimizacin de autmatas, el nmero de estados o de relaciones debe ser equivalente en cantidad inferior al dado. D. Un autmata se puede minimizar siempre y cuando el autmata dado no acepte cadenas vacas.

9. En el campo de la complejidad algortmica (problemas de algoritmos y de lgica) se presenta la Decibilidad de teoras lgicas. Una tcnica para resolver problemas de este tipo es reducir un problema a otro para comprobar si tiene o no solucin efectiva. Al hacer uso de esta estrategia en el caso que la respuesta sea negativa, se da: A. Si se reduce de forma efectiva un problema sin solucin efectiva a otro problema, se convierte en un problema parcialmente soluble (existe una Mquina de Turing que resuelve el problema, peor puede no parar) B. Si se reduce de forma efectiva un problema sin solucin efectiva a otro problema, se determina la clase de complejidad siendo esta la solucin. C. Si se reduce de forma efectiva un problema sin solucin efectiva a otro problema, entonces este nuevo problema tampoco tendr solucin efectiva. D. Si se reduce de forma efectiva un problema sin solucin efectiva a otro problema, entonces es probable que solo se solucione usando una Mquina de Turing (MT)

TEMS DE SELECCIN MLTIPLE CON MLTIPLE RESPUESTA Este tipo de preguntas consta de un enunciado, problema o contexto a partir del cual se plantean cuatro opciones numeradas de 1 a 4, usted deber seleccionar la combinacin de dos opciones que responda adecuadamente a la pregunta y marcarla en la hoja de respuesta, de acuerdo con la siguiente informacin: Marque A si 1 y 2 son correctas. Marque B si 1 y 3 son correctas. Marque C si 2 y 4 son correctas. Marque D si 3 y 4 son correctas.

AUTOR:

Carlos Alberto Amaya Tarazona

NODO: Pgina 4 de 9

Tunja

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SUBSISTEMA DE EVALUACIN DE LOS APRENDIZAJES ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA CONVOCATORIA NACIONAL CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

10. Analice el siguiente Autmata y determine cules apreciaciones son vlidas en su anlisis:

1. La funcin de transicin puede no estar definida para alguna combinacin (x,q) y, por el contrario, puede definir para otras combinaciones (x,q) ms de un estado. 2. La funcin de transicin define para cada posible combinacin (x,q) un estado nuevo. 3. Es un autmata no determinstico (AFND), con un conjunto finito de estados y smbolos de entrada, un estado inicial, un conjunto de estados finales, y una funcin de transicin de estados. 4. Es un autmata determinstico (AFD), con un conjunto finito de estados y smbolos de entrada, un estado inicial, un conjunto de estados finales, y una funcin de transicin de estados. 11. Cules afirmaciones son vlidas y que surgen de un anlisis de las ER (Expresiones Regulares): 1. La ER (0+1)*01 genera cadenas vlidas para el autmata del ejercicio diez (10) pero no para las del autmata del ejercicio dos (2). 2. La ER (0+1)*01 genera las mismas cadenas para el Autmata del ejercicio dos (2) y del ejercicio diez (10) 3. La ER (0+1)*11(01)* genera cadenas vlidas para el autmata del ejercicio dos (2) pero no para las del autmata del ejercicio diez (10). 4. La ER (1*00*1(00*1)*1)*1*00*1(00*1)* genera las mismas cadenas para el Autmata del ejercicio diez (10) y del ejercicio dos (2). 12. Dado los siguientes dos autmatas A y B, analice los enunciados dados e identifique cuales son verdaderos.

AUTOR:

Carlos Alberto Amaya Tarazona

NODO: Pgina 5 de 9

Tunja

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SUBSISTEMA DE EVALUACIN DE LOS APRENDIZAJES ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA CONVOCATORIA NACIONAL CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

1. 2. 3. 4.

El Autmata B tiene un error de diseo. Un AF no puede tener dos estados de aceptacin. Solo el Autmata A reconoce la cadena vaca lambda Los dos Autmatas reconocen el mismo Lenguaje. El Autmata A es un AFND y el Autmata B es un AFD.

13. Dadas las siguientes gramticas, ascielas a los enunciados que se presentan de forma correcta. Tenga en cuenta que como Smbolo inicial se toma a S que s on los estados iniciales y como smbolos no terminales los estados en el orden de su nombramiento. El conjunto finito de smbolos terminales son los smbolos del alfabeto del autmata.

1. La Gramtica D corresponde a una representacin vlida del lenguaje que acepta el Autmata del ejercicio dos (2). 2. La Gramtica C corresponde a una representacin vlida del lenguaje que acepta el Autmata con lambda transiciones del ejercicio tres (3). 3. La Gramtica A corresponde a una representacin vlida del lenguaje que acepta los Autmatas del ejercicio doce (12). 4. La Gramtica B corresponde a una representacin vlida del lenguaje que acepta el Autmata del ejercicio cuatro (4). 14. Las transiciones de una Mquina de Turing de varias cintas (MT), tienen las siguientes caractersticas: 1. 2. 3. 4. Las transiciones se pueden hacer en varias cintas simultneamente. La transicin depende de los smbolos actuales de todas las cintas. La transicin le asigna el carcter de entrada a las dems cintas La transicin solo afecta a una cinta (escribir o desplazar)
Carlos Alberto Amaya Tarazona NODO: Pgina 6 de 9 Tunja CEAD Duitama

AUTOR:

VICERRECTORA ACADMICA Y DE INVESTIGACIN SUBSISTEMA DE EVALUACIN DE LOS APRENDIZAJES ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA CONVOCATORIA NACIONAL CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

15. Dada la siguiente gramtica G= (VN= {S, A}, VT= {0,1}, S, P) donde P son las producciones:

Cules sentencias de lenguaje son generadas correctamente: 1. 2. 3. 4. S > S > S > S > 0A > 00A > 001S > 0010 A > 00100 0A > 00A > 001 A > 0010 0A > 01S > 010 A > 0100 0A > 0A > 00A > 000

16. Cuando se disean AP o se formalizan, se utilizan notaciones grficas parecidas a la de los diagramas de los AF. Con respecto a esto: qu aspectos de diseos son vlidos para formalizar un AP.? 1. Si se da la transicin a/x/c indica que se saca de la pila un carcter a, luego se avanza una posicin x en la pila, y se mete c a la pila. 2. Si se da la transicin a/x/c indica que se consume de la entrada un carcter a, se avanza una posicin x y se mete c a la pila. 3. Para que una palabra de entrada sea aceptada en un AP debe cumplir tres condiciones. Una de ellas es que el AP se debe encontrar en un estado final. 4. Si se da la transicin a/x/c indica que se consume de la entrada un carcter a, no se saca nada de la pila, y se mete c a la pila.

17. Las Gramticas regulares pueden ser de dos formas: Lineales por la derecha y Lineales por la izquierda. Tambin pueden ser ambiguas si existen dos rboles de derivacin distintos para una misma palabra. Dada la Gramtica G = {S, A}, T= {0,1} representada en los dos rboles de derivacin siguiente, identifique el tipo de producciones y el lenguaje que generan:

AUTOR:

Carlos Alberto Amaya Tarazona

NODO: Pgina 7 de 9

Tunja

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SUBSISTEMA DE EVALUACIN DE LOS APRENDIZAJES ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA CONVOCATORIA NACIONAL CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

1. El rbol de Derivacin A representa una gramtica lineal por la derecha. 2. El rbol de Derivacin B representa una gramtica lineal por la izquierda y genera el lenguaje 0(10)* 3. El rbol de Derivacin A representa una gramtica lineal por la izquierda y genera el lenguaje 0(10)* 4. El rbol de Derivacin A no es lineal, es ambigua (puede tener producciones por la izquierda y la derecha) y genera el lenguaje (10)*

TEMS DE ANLISIS DE RELACIN Este tipo de tems consta de dos proposiciones as: una Afirmacin y una Razn, unidas por la palabra PORQUE. Usted debe examinar la veracidad de cada proposicin y la relacin terica que las une. Para responder este tipo de tems, debe leerla completamente y sealar en la hoja de respuesta, la elegida de acuerdo con las siguientes instrucciones: Marque A si la afirmacin y la razn son VERDADERAS y la razn es una explicacin CORRECTA de la afirmacin. Marque B si la afirmacin y la razn son VERDADERAS, pero la razn NO es una explicacin CORRECTA de la afirmacin. Marque C si la afirmacin es VERDADERA, pero la razn es una proposicin FALSA. Marque D si la afirmacin es FALSA, pero la razn es una proposicin VERDADERA.

18. Los Leguajes Regulares dentro de la jerarqua de Chomsky, es la clase de lenguaje ms grande PORQUE incluye a los lenguajes ms simples. Un ejemplo de Lenguaje Regular es el conjunto de todos los nmeros binarios.

AUTOR:

Carlos Alberto Amaya Tarazona

NODO: Pgina 8 de 9

Tunja

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SUBSISTEMA DE EVALUACIN DE LOS APRENDIZAJES ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA CONVOCATORIA NACIONAL CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

19. Los autmatas no deterministas (con o sin lambda-transiciones) son igual de potentes que los autmatas finitos deterministas PORQUE son capaces de reconocer los mismos lenguajes: los lenguajes regulares (LR)

20. La relacin entre un Autmata Finito (AF) y un Autmata de Pila (AP) indica que todo lenguaje aceptado por un AF es tambin aceptado por un AP PORQUE los AP son una extensin de los AF.

21. El problema de Halting es el primer problema indecidible mediante Mquinas de Turing, llamado tambin problema de parada o de detencin, PORQUE su solucin plantea primero un ciclo indefinido y mediante un algoritmo adicional, lo lleva a la detencin o parada, dando solucin al problema evitando los comunes bucles infinitos.

22. Se ha definido a una MUT como una M T capaz de ejecutar cualquier algoritmo; es decir capaz de realizar los clculos que realizara cualquier otra MT, o sea, capaz de simular (tener el mismo comportamiento) que cualquier MT particular PORQUE esta mquina Universal (MUT) no debe ser diseada para realizar un clculo especfico, sino para procesar cualquier informacin.

23. Existen Lenguajes de una sola palabra como {unadnacional}, otros leguajes de varias palabras como {ab, abc, abcd, aeiou, xyz}, y otros representados en operaciones como *. Se pueden efectuar entre lenguajes todas las operaciones como (unin, interseccin, concatenacin y diferencia) PORQUE en definitiva estos lenguajes son conjuntos. 24. Sea el alfabeto = {a,b,c} El Lenguaje {a} es Regular PORQUE es Finito

25. El autmata representado en el ejercicio tres (03), corresponde a un AUTOMATA FINITO NO DETERMINISTA CON LANDA TRANSICIONES (AFND landa transiciones al que se le permite cambiar de estado sin necesidad de consumir o leer un smbolo de entrada PORQUE cumple con uno de los requisitos para no ser determinista cuando al analizar el autmata en el estado q 0 en un cierto instante y si el smbolo actual es 0, en el instante siguiente, el autmata puede decidir de forma no determinista entre leer el smbolo 0 y cambiar al estado q 1 , o bien, cambiar al estado q 2 sin mover el cabezal de lectura.

AUTOR:

Carlos Alberto Amaya Tarazona

NODO: Pgina 9 de 9

Tunja

CEAD

Duitama