Examen de Automatas

7/18/2019 Examen de Automatas

http://slidepdf.com/reader/full/examen-de-automatas 1/9

VICERRECTORÍA ACADÉMICA Y DE INVESTIGACIÓNSISTEMA NACIONAL DE EVALUACIÓNESCUELA DE CIENCIAS BASICAS TECNOLGIA E INGENIERIA

CONVOCATORIA NACIONAL

I – 2011

CURSO: AUTOMATAS Y LENGUAJES FORMALES CÓDIGO: 3014

TEMA A

AUTOR: Carlos AlbertoAmaya Tarazona

NODO: Zona Centro Boyacá CEAD Duitama

Página 1 de 9

CUADERNILLO DE ÍTEMS

ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA

A continuación, usted encontrará preguntas que se desarrollan en torno a un enunciado, problema contexto, frente al cual, usted debe seleccionar aquella opción que responda correctamente al íteplanteado entre cuatro identificadas con las letras A, B, C, D. Una vez la seleccione, márquela en shoja de respuestas rellenando el óvalo correspondiente.

1. Dado un alfabeto A, unacadena sobre A

es una sucesión de longitud finita (mayor o igual a cerde símbolos del alfabeto. La letra griega lambda, λλλλ , se usa para denotar:

A. Un lenguaje infinito.B. El lenguaje vacío.C. El lenguaje cuyo único elemento es la cadena nula.D. El lenguaje que suma todas las cadenas.

2. La Máquina Universal de Turing está diseñada para realizar cualquier cálculo específico – particuldebido a que.

A. Es un intérprete de la información de salida.B. Es capaz de realizar cualquier algoritmo.C. Parará cuando el cálculo sea indeterminado.D. 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 gramática libre de contexto.B. El algoritmo que nos indica el lenguaje de la gramática.C. Un lenguaje regular.

D. Un lenguaje que es generado por una gramática estructurada por frases.

4. Una pila es un dispositivo de almacenamiento que sigue el principio de:

A. El primero en entrar el ultimo en salirB. El último en entrar el primero en salirC. El primero en entrar el primero en salirD. El último en entrar el último en salir





I – 2011


TEMA A



Página 2 de 9

5. Identifique de los cuatro autómatas que se muestran a continuación, (A, B, C o D), cuál reconoclas cadenas que contienen la subcadena aba y cuya definición formal sería 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 transición, identifique la tabla de transiciócorrecta que lo representa:





I – 2011


TEMA A



Página 3 de 9

7. Un árbol de derivación está conformado por una serie de componentes, identifique los correctos elas siguientes opciones

A. Nodo raíz, nodos interiores, hojasB. Nodo principal, nodos secundarios, nodos finalesC. Nodo inicial, nodos interiores, nodo finalD. Nodo principal, nodos internos, nodo final

ÍTEMS DE SELECCIÓN MÚLTIPLE CON MÚLTIPLE RESPUESTA

Este tipo de ítems consta de un enunciado, problema o contexto a partir del cual se plantean cuatopciones numeradas de 1 a 4, usted deberá seleccionar la combinación de dos o más opciones que responda adecuadamente y marcarla en la hoja de respuesta, de acuerdo con la siguiente información





I – 2011


TEMA A



Página 4 de 9

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 “Teoría de Lenguajes”, define bloques constructores de lenguaje . El bloque más sencillo es alfabeto. De las siguientes afirmaciones cuales definen o son verdaderas con respecto a u“alfabeto ”:

1. Los alfabetos son finitos.2. Por símbolo, no se está haciendo referencia a un solo carácter.3. Los símbolos pueden ser nombres.

4. { α1, α

2, …, α

n} Es un ejemplo de alfabeto.

9. La definición formal de un Lenguaje Regular (ele) L, se da solo si cumple ciertas condicioneSiendo ∑ un alfabeto, el conjunto de los lenguajes regulares sobre ∑ = {a,b} puede estar formadpor:

1. φφφφ y { λλλλ } son lenguajes regulares2. {a} y {b} son lenguajes regulares3. {a,b} es regular pues resulta de la unión de {a} y {b}4. {ab} es regular pues resulta de la concatenación de {a} y {b}

10. Para comprender la definición de Autómata Finito, se suele asociar el concepto al de un“Máquina” que evoca un aparato metálico usualmente ruidoso, mecánico y que ejecuta tarearepetitivas que requieren de mucha fuerza o velocidad combinadas con precisión. Cuales sería

características de los Autómatas Finitos:

1. Los autómatas finitos son capaces de reconocer solamente un determinado tipo de lenguajellamados “lenguajes Regulares”.

2. Los autómatas finitos solo pueden aceptar lenguajes finitos.3. Los autómatas finitos tienen un número finito de estados.4. Las máquinas de Turing y los autómatas de pila son autómatas finitos.





I – 2011


TEMA A



Página 5 de 9

11. Para el siguiente autómata, 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 autómata no permite iniciar con una subcadena diferente de aba.

12. Los autómatas se pueden representar mediante :

1. Tabla de transiciones

2. El conjunto de entradas de una máquina de Turing.3. Diagramas de Moore4. El conjunto de tablas representativas

13. Para el siguiente autómata, M =(Q, A, q 0 , δ , F) donde:

Q = {q 0 , q 1, q 2 , q 3 }A = {a, b}

q 0 Es el estado Inicial





I – 2011


TEMA A



Página 6 de 9

Cuáles igualdades son válidas para la función de transición δ

1. δ ( q 2 , a ) = q 0 δ ( q 2 , b ) = q 2

2. δ ( q 1, a ) = q 3 δ ( q 1, b ) = q 1

3. δ ( q 3 , a ) = q 1 δ ( q 3 , b ) = q 2

4. δ ( q 0 , a ) = q 1 δ ( q 0 , b ) = q 2

14. Los autómatas finitos no Determinísticos o no deterministas tienen las características de:

1. No permitir que de cada nodo del diagrama de estados salga un número de flechas mayor menor

2. Permitir que de cada nodo del diagrama de estados salga un número de flechas mayor o menor3. las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vacía.4. las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacía.

15. Cuáles diferencias entre una computadora Real y una máquina de Turing (MT) son verdaderas

1. En cuanto al orden de ejecución de las instrucciones, En la estructura Von Neumann secuenciamiento lo marca el orden de colocación de las instrucciones en la memoria interna viene asegurado por el contador de programa.

2. En una MT el nº de estados depende del algoritmo.3. En una computadora, el número de estados viene representado por el contenido de la memoria4. En una MT el orden de ejecución de las instrucciones no está definido.

ÍTEMS DE ANÁLISIS DE RELACIÓN

Este tipo de ítems consta de dos proposiciones así: una Afirmación y una Razón, unidas por la palabrPORQUE. Usted debe examinar la veracidad de cada proposición y la relación teórica que las une.

Para responder este tipo de ítems, debe leerla completamente y señalar en la hoja de respuesta,

elegida de acuerdo con las siguientes instrucciones:

Marque A si la afirmación y la razón son VERDADERAS y la razón es una explicacióCORRECTA de la afirmación.Marque B si la afirmación y la razón son VERDADERAS, pero la razón NO es una explicacióCORRECTA de la afirmación.Marque C si la afirmación es VERDADERA, pero la razón es una proposición FALSA.Marque D si la afirmación es FALSA, pero la razón es una proposición VERDADERA.





I – 2011


TEMA A



Página 7 de 9

16. Una máquina de propósito general que haga uso de la codificación de Godel, puede considerarscomo la precursora de las computadoras actuales PORQUE Sería capaz de resolver cualquiproblema que se pudiese resolver mediante un algoritmo.

17. Al iniciar la operación de un autómata de pila, la pila debe tener un contenido inicial. PORQUE Aigual que los autómatas finitos los autómatas de pila tienen estados finales que permiten distingucuando una palabra de entrada es aceptada.

18. Solo una acción simultánea puede ejecutar una cinta en la Máquina de Turing (MT) PORQUEacción de escribir un símbolo en la cinta o la acción de movimiento del cabezal son excluyentes. Shace una o la otra pero no ambas a la vez.

19. Un Autómata Finito está en estrecha relación con los lenguajes naturales PORQUE Un Autómafinito se puede ver como una caja negra de control que va leyendo símbolos de una cadena escriten una cinta.

20. Los AFD (Autómatas Finitos Determinísticos) son un subconjunto propio de los Autómatas FinitoNo Determinísticos (AFND) PORQUE Todo Autómata Finito Determinista es un Autómata Finito NDeterminista.

ÍTEMS DE ANÁLISIS DE POSTULADOS

Los ítems que encontrará a continuación constan de una afirmación VERDADERA (tesis) y dopostulados también VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debanalizar si los postulados se deducen lógicamente de la afirmación y seleccionar la respuesta en shoja de cotejo, conforme a la siguiente instrucción:

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 sólo se deduce el postulado II.Marque D si ninguno de los postulados se deduce de la tesis.





I – 2011


TEMA A



Página 8 de 9

21. TESIS: Los lenguajes independientes del contexto que también se conocen con el nombre dgramáticas de contexto libre son un método recursivo sencillo de especificación de reglas gramaticalecon las que se pueden generar cadenas de un lenguaje.

POSTULADO I. Es factible producir de esta manera todos los lenguajes regulares, además de quexisten ejemplos sencillos de gramáticas de contexto libre que generan lenguajes no regulares.

POSTULADO II. Las reglas gramaticales de este tipo permiten que la sintaxis tenga variedad refinamientos mayores que los realizados con lenguajes regulares, en gran medida sirven paespecificar la sintaxis de lenguajes de alto nivel y otros lenguajes formales.

22. TESIS: El estado de un autómata es toda la información necesaria en un momento dado, papoder deducir, dado un símbolo de entrada en ese momento, cuál será el símbolo de salida.

POSTULADO I: Conocer el estado de un autómata, es lo mismo que conocer toda la historia dsímbolos de entrada, así como el estado inicial, estado en que se encontraba el autómata al recibir primero de los símbolos de entrada

POSTULADO II. La información se codifica en cadenas de símbolos, y un autómata es un dispositivque manipula cadenas de símbolos que se le presentan a su entrada, produciendo otras tiras o cadenade símbolos a su salida.

23. TESIS: La máquina de Turing es una máquina abstracta que se comporta como una extensióde los autómatas finitos, que resultó ser de una gran simplicidad y poderío a la vez.

POSTULADO I. La máquina de Turing (abreviado MT) tiene, un control finito, una cabeza lectora y uncinta donde puede haber caracteres, y donde eventualmente viene la palabra de entrada.

POSTULADO II. La máquina de Turing es particularmente importante porque es la más poderosa dtodas las máquinas abstractas conocidas.





I – 2011


TEMA A



Página 9 de 9

24. TESIS. Los autómatas finitos determinísticos (AFD) son un subconjunto propio de los ndeterminísticos (AFN).

POSTULADO I. Todo AFD es un AFN

POSTULADO II. Se puede pensar entonces que los AFN son “más poderosos” que los AFD, en sentido de que habría algunos lenguajes aceptados por algún AFN para los cuales no hay ningún AFque los acepte

25. TESIS: Los Autómatas de Pila (AP) funcionan de manera que el ultimo carácter que se almacenen ella es el primero en salir (“LIFO” por las siglas en inglés), como si se apilaran platos uno encima dotro, y naturalmente el primero que quitaremos es el último que hemos Colocado

POSTULADO I. En un AP sólo podemos modificar su “tope”, que es el extremo por donde entran salen los caracteres

POSTULADO II. Los caracteres a la mitad de la pila no son accesibles sin quitar antes los que estáencima de ellos.

Examen de Automatas

Documents

Transcript of Examen de Automatas