VICERRECTORA ACADMICA Y DE INVESTIGACIN SISTEMA NACIONAL DE EVALUACIN ESCUELA DE CIENCIAS BASICAS TECNOLGIA E INGENIERIA CONVOCATORIA NACIONAL I 2011 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. Dado un alfabeto A, una cadena sobre A es una sucesin de longitud finita (mayor o igual a cero) de smbolos del alfabeto. La letra griega lambda, , se usa para denotar: A. B. C. D. Un lenguaje infinito. El lenguaje vaco. El lenguaje cuyo nico elemento es la cadena nula. El lenguaje que suma todas las cadenas.

2. La Mquina Universal de Turing est diseada para realizar cualquier clculo especfico particular debido a que. A. B. C. D. Es un intrprete de la informacin de salida. Es capaz de realizar cualquier algoritmo. Parar cuando el clculo sea indeterminado. Las instrucciones se basan en una fase del algoritmo universal.

3. De un Lenguaje Libre de Contexto podemos afirmar que es: A. Un Lenguaje que es generado por una gramtica libre de contexto. B. El algoritmo que nos indica el lenguaje de la gramtica. C. Un lenguaje regular. D. Un lenguaje que es generado por una gramtica estructurada por frases. 4. Una pila es un dispositivo de almacenamiento que sigue el principio de: A. B. C. D. El primero en entrar el ultimo en salir El ltimo en entrar el primero en salir El primero en entrar el primero en salir El ltimo en entrar el ltimo en salir
Carlos Alberto Amaya Tarazona

AUTOR:

NODO:

Zona Centro Boyac Pgina 1 de 9

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SISTEMA NACIONAL DE EVALUACIN ESCUELA DE CIENCIAS BASICAS TECNOLGIA E INGENIERIA CONVOCATORIA NACIONAL I 2011 CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

5. Identifique de los cuatro autmatas que se muestran a continuacin, (A, B, C o D), cul reconoce las cadenas que contienen la subcadena aba y cuya definicin formal sera la siguiente: Q = {1,2} ={a,b} I={1} F={2} ={((1,a),1),((1,b),1),((1,aba),2),((2,a),2),((2,b),2)}

6. Para el siguiente AFND representado en un diagrama de transicin, identifique la tabla de transicin correcta que lo representa:

AUTOR:

Carlos Alberto Amaya Tarazona

NODO:

Zona Centro Boyac Pgina 2 de 9

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SISTEMA NACIONAL DE EVALUACIN ESCUELA DE CIENCIAS BASICAS TECNOLGIA E INGENIERIA CONVOCATORIA NACIONAL I 2011 CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

7. Un rbol de derivacin est conformado por una serie de componentes, identifique los correctos en las siguientes opciones A. B. C. D. Nodo raz, nodos interiores, hojas Nodo principal, nodos secundarios, nodos finales Nodo inicial, nodos interiores, nodo final Nodo principal, nodos internos, nodo final

TEMS DE SELECCIN MLTIPLE CON MLTIPLE RESPUESTA Este tipo de tems 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 o ms opciones que la responda adecuadamente y marcarla en la hoja de respuesta, de acuerdo con la siguiente informacin:
Carlos Alberto Amaya Tarazona

AUTOR:

NODO:

Zona Centro Boyac Pgina 3 de 9

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SISTEMA NACIONAL DE EVALUACIN ESCUELA DE CIENCIAS BASICAS TECNOLGIA E INGENIERIA CONVOCATORIA NACIONAL I 2011 CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

MARQUE A si las opciones 1, 2 y 3 son correctas. MARQUE B si las opciones 1 y 3 son correctas. MARQUE C si las opciones 2 y 4 son correctas. MARQUE D si todas las opciones son correctas.

8. La Teora de Lenguajes, define bloques constructores de lenguaje. El bloque ms sencillo es el alfabeto. De las siguientes afirmaciones cuales definen o son verdaderas con respecto a un alfabeto: 1. 2. 3. 4. Los alfabetos son finitos. Por smbolo, no se est haciendo referencia a un solo carcter. Los smbolos pueden ser nombres. { 1 , 2 , , n } Es un ejemplo de alfabeto.

9. La definicin formal de un Lenguaje Regular (ele) L, se da solo si cumple ciertas condiciones. Siendo un alfabeto, el conjunto de los lenguajes regulares sobre = {a,b} puede estar formado por: 1. 2. 3. 4.

y { } son lenguajes regulares

{a} y {b} son lenguajes regulares {a,b} es regular pues resulta de la unin de {a} y {b} {ab} es regular pues resulta de la concatenacin de {a} y {b}

10. Para comprender la definicin de Autmata Finito, se suele asociar el concepto al de una Mquina que evoca un aparato metlico usualmente ruidoso, mecnico y que ejecuta tareas repetitivas que requieren de mucha fuerza o velocidad combinadas con precisin. Cuales seran caractersticas de los Autmatas Finitos: 1. Los autmatas finitos son capaces de reconocer solamente un determinado tipo de lenguajes, llamados lenguajes Regulares. 2. Los autmatas finitos solo pueden aceptar lenguajes finitos. 3. Los autmatas finitos tienen un nmero finito de estados. 4. Las mquinas de Turing y los autmatas de pila son autmatas finitos.

AUTOR:

Carlos Alberto Amaya Tarazona

NODO:

Zona Centro Boyac Pgina 4 de 9

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SISTEMA NACIONAL DE EVALUACIN ESCUELA DE CIENCIAS BASICAS TECNOLGIA E INGENIERIA CONVOCATORIA NACIONAL I 2011 CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

11. Para el siguiente autmata, las apreciaciones verdaderas son:

1. Reconoce las cadenas que comienzan con la subcadena aba 2. Si llega a comenzar con algo diferente de aba llega a un sumidero del cual no puede salir. 3. Una vez ha recibido la subcadena aba ya no importa que salga, acepta la cadena. 4. El autmata no permite iniciar con una subcadena diferente de aba. 12. Los autmatas se pueden representar mediante : 1. 2. 3. 4. Tabla de transiciones El conjunto de entradas de una mquina de Turing. Diagramas de Moore El conjunto de tablas representativas

13. Para el siguiente autmata, M =(Q, A, q0, , F) donde: Q = {q0, q1, q2 , q 3 } A = {a, b} q 0 Es el estado Inicial

AUTOR:

Carlos Alberto Amaya Tarazona

NODO:

Zona Centro Boyac Pgina 5 de 9

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SISTEMA NACIONAL DE EVALUACIN ESCUELA DE CIENCIAS BASICAS TECNOLGIA E INGENIERIA CONVOCATORIA NACIONAL I 2011 CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

Cules igualdades son vlidas para la funcin de transicin 1. 2. 3. 4.

(q2 , a ) = q0 (q1, a ) = q 3 (q 3 , a ) = q1 (q0, a ) = q1

(q2 , b ) = q2 (q1, b ) = q1 (q 3 , b ) = q2 (q0, b ) = q2

14. Los autmatas finitos no Determinsticos o no deterministas tienen las caractersticas de: 1. No permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor 2. Permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor 3. las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vaca. 4. las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca. 15. Cules diferencias entre una computadora Real y una mquina de Turing (MT) son verdaderas:

1. En cuanto al orden de ejecucin de las instrucciones, En la estructura Von Neumann el secuenciamiento lo marca el orden de colocacin de las instrucciones en la memoria interna y viene asegurado por el contador de programa. 2. En una MT el n de estados depende del algoritmo. 3. En una computadora, el nmero de estados viene representado por el contenido de la memoria. 4. En una MT el orden de ejecucin de las instrucciones no est definido. 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.
AUTOR: Carlos Alberto Amaya Tarazona NODO: Zona Centro Boyac Pgina 6 de 9 CEAD Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SISTEMA NACIONAL DE EVALUACIN ESCUELA DE CIENCIAS BASICAS TECNOLGIA E INGENIERIA CONVOCATORIA NACIONAL I 2011 CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

16. Una mquina de propsito general que haga uso de la codificacin de Godel, puede considerarse como la precursora de las computadoras actuales PORQUE Sera capaz de resolver cualquier problema que se pudiese resolver mediante un algoritmo. 17. Al iniciar la operacin de un autmata de pila, la pila debe tener un contenido inicial. PORQUE Al igual que los autmatas finitos los autmatas de pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada. 18. Solo una accin simultnea puede ejecutar una cinta en la Mquina de Turing (MT) PORQUE la accin de escribir un smbolo en la cinta o la accin de movimiento del cabezal son excluyentes. Se hace una o la otra pero no ambas a la vez. 19. Un Autmata Finito est en estrecha relacin con los lenguajes naturales PORQUE Un Autmata finito se puede ver como una caja negra de control que va leyendo smbolos de una cadena escrita en una cinta. 20. Los AFD (Autmatas Finitos Determinsticos) son un subconjunto propio de los Autmatas Finitos No Determinsticos (AFND) PORQUE Todo Autmata Finito Determinista es un Autmata Finito No Determinista.

TEMS DE ANLISIS DE POSTULADOS Los tems que encontrar a continuacin constan de una afirmacin VERDADERA (tesis) y dos postulados tambin VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lgicamente de la afirmacin y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instruccin: Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis slo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis.

AUTOR:

Carlos Alberto Amaya Tarazona

NODO:

Zona Centro Boyac Pgina 7 de 9

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SISTEMA NACIONAL DE EVALUACIN ESCUELA DE CIENCIAS BASICAS TECNOLGIA E INGENIERIA CONVOCATORIA NACIONAL I 2011 CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

21. TESIS: Los lenguajes independientes del contexto que tambin se conocen con el nombre de gramticas de contexto libre son un mtodo recursivo sencillo de especificacin de reglas gramaticales con las que se pueden generar cadenas de un lenguaje. POSTULADO I. Es factible producir de esta manera todos los lenguajes regulares, adems de que existen ejemplos sencillos de gramticas de contexto libre que generan lenguajes no regulares. POSTULADO II. Las reglas gramaticales de este tipo permiten que la sintaxis tenga variedad y refinamientos mayores que los realizados con lenguajes regulares, en gran medida sirven para especificar la sintaxis de lenguajes de alto nivel y otros lenguajes formales.

22. TESIS: El estado de un autmata es toda la informacin necesaria en un momento dado, para poder deducir, dado un smbolo de entrada en ese momento, cul ser el smbolo de salida. POSTULADO I: Conocer el estado de un autmata, es lo mismo que conocer toda la historia de smbolos de entrada, as como el estado inicial, estado en que se encontraba el autmata al recibir el primero de los smbolos de entrada POSTULADO II. La informacin se codifica en cadenas de smbolos, y un autmata es un dispositivo que manipula cadenas de smbolos que se le presentan a su entrada, produciendo otras tiras o cadenas de smbolos a su salida.

23. TESIS: La mquina de Turing es una mquina abstracta que se comporta como una extensin de los autmatas finitos, que result ser de una gran simplicidad y podero a la vez. POSTULADO I. La mquina de Turing (abreviado MT) tiene, un control finito, una cabeza lectora y una cinta donde puede haber caracteres, y donde eventualmente viene la palabra de entrada. POSTULADO II. La mquina de Turing es particularmente importante porque es la ms poderosa de todas las mquinas abstractas conocidas.

AUTOR:

Carlos Alberto Amaya Tarazona

NODO:

Zona Centro Boyac Pgina 8 de 9

CEAD

Duitama

VICERRECTORA ACADMICA Y DE INVESTIGACIN SISTEMA NACIONAL DE EVALUACIN ESCUELA DE CIENCIAS BASICAS TECNOLGIA E INGENIERIA CONVOCATORIA NACIONAL I 2011 CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405

24. TESIS. Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN). POSTULADO I. Todo AFD es un AFN POSTULADO II. Se puede pensar entonces que los AFN son ms poderosos que los AFD, en el sentido de que habra algunos lenguajes aceptados por algn AFN para los cuales no hay ningn AFD que los acepte

25. TESIS: Los Autmatas de Pila (AP) funcionan de manera que el ultimo carcter que se almacena en ella es el primero en salir (LIFO por las siglas en ingls), como si se apilaran platos uno encima de otro, y naturalmente el primero que quitaremos es el ltimo que hemos Colocado POSTULADO I. En un AP slo podemos modificar su tope, que es el extremo por donde entran o salen los caracteres POSTULADO II. Los caracteres a la mitad de la pila no son accesibles sin quitar antes los que estn encima de ellos.

AUTOR:

Carlos Alberto Amaya Tarazona

NODO:

Zona Centro Boyac Pgina 9 de 9

CEAD

Duitama