cuad autlengf a

5/11/2018 Cuad Autlengf A - slidepdf.com

http://slidepdf.com/reader/full/cuad-autlengf-a 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: 3

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, problemcontexto, frente al cual, usted debe seleccionar aquella opción que responda correctamente al planteado entre cuatro identificadas con las letras A, B, C, D. Una vez la seleccione, márquela ehoja 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 cde 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 – particdebido 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 recolas 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 transcorrecta 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 correctolas 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 cuopciones numeradas de 1 a 4, usted deberá seleccionar la combinación de dos o más opciones quresponda adecuadamente y marcarla en la hoja de respuesta, de acuerdo con la siguiente informaci





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 ealfabeto. De las siguientes afirmaciones cuales definen o son verdaderas con respecto a“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 condicioSiendo ∑ un alfabeto, el conjunto de los lenguajes regulares sobre ∑ = {a,b} puede estar formpor:

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 “Máquina” que evoca un aparato metálico usualmente ruidoso, mecánico y que ejecuta tarepetitivas que requieren de mucha fuerza o velocidad combinadas con precisión. Cuales se

características de los Autómatas Finitos:

1. Los autómatas finitos son capaces de reconocer solamente un determinado tipo de lengullamados “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 salir3. 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 maymenor

2. Permitir que de cada nodo del diagrama de estados salga un número de flechas mayor o men3. 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 verdader

1. En cuanto al orden de ejecución de las instrucciones, En la estructura Von Neumansecuenciamiento lo marca el orden de colocación de las instrucciones en la memoria interviene 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 memo4. 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 palPORQUE. 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 respuestelegida de acuerdo con las siguientes instrucciones:

Marque A si la afirmación y la razón son VERDADERAS y la razón es una explicaCORRECTA de la afirmación.Marque B si la afirmación y la razón son VERDADERAS, pero la razón NO es una explicacCORRECTA 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 considercomo la precursora de las computadoras actuales PORQUE Sería capaz de resolver cualqproblema 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. PORQUEigual que los autómatas finitos los autómatas de pila tienen estados finales que permiten distincuando una palabra de entrada es aceptada.

18. Solo una acción simultánea puede ejecutar una cinta en la Máquina de Turing (MT) PORQUacción de escribir un símbolo en la cinta o la acción de movimiento del cabezal son excluyenteshace 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ómfinito se puede ver como una caja negra de control que va leyendo símbolos de una cadena esen una cinta.

20. Los AFD (Autómatas Finitos Determinísticos) son un subconjunto propio de los Autómatas Fi

No Determinísticos (AFND) PORQUE Todo Autómata Finito Determinista es un Autómata FinitDeterminista.

ÍTEMS DE ANÁLISIS DE POSTULADOS

Los ítems que encontrará a continuación constan de una afirmación VERDADERA (tesis) y postulados también VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted danalizar si los postulados se deducen lógicamente de la afirmación y seleccionar la respuesta ehoja 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 nombregramáticas de contexto libre son un método recursivo sencillo de especificación de reglas gramaticcon las que se pueden generar cadenas de un lenguaje.

POSTULADO I. Es factible producir de esta manera todos los lenguajes regulares, además de existen 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 variedarefinamientos mayores que los realizados con lenguajes regulares, en gran medida sirven especificar 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, poder 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 historiasímbolos de entrada, así como el estado inicial, estado en que se encontraba el autómata al recibprimero de los símbolos de entrada

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

23. TESIS: La máquina de Turing es una máquina abstracta que se comporta como una extende 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 ycinta 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 poderostodas 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 losdeterminí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, esentido de que habría algunos lenguajes aceptados por algún AFN para los cuales no hay ningún que los acepte

25. TESIS: Los Autómatas de Pila (AP) funcionan de manera que el ultimo carácter que se almacen ella es el primero en salir (“LIFO” por las siglas en inglés), como si se apilaran platos uno encimotro, 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 entrsalen los caracteres

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

cuad autlengf a

Documents