Cuad Autlengf 301405

VICERRECTORA ACADMICA Y DE INVESTIGACIN
SISTEMA NACIONAL DE EVALUACIN

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

CONVOCATORIA NACIONAL
I 2009
AUTOMATAS Y LENGUAJES FORMALES 301405
TEMA A

AUTOR: Jairo Armando Riao NODO: Zona Centro Boyac CEAD Sogamoso
Pgina 1 de 6

CUADERNILLO DE PREGUNTAS

PREGUNTAS 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 que responde correctamente a la pregunta
planteada entre cuatro opciones identificadas con las letras A, B, C, D. Una vez la seleccione,
mrquela en su hoja de respuestas rellenando el valo correspondiente.

1. Los palndromos (palabras capicas) del idioma castellano, tales como "a", "y", "dad", "oso", "erre",
etc., constituyen un:

A. Lenguaje regular
B. Lenguaje independiente del contexto (en sentido estricto)
C. Lenguaje estructurado por frases (en sentido estricto)
D. Una maquina de turing.

2. Indique cul de las tres siguientes afirmaciones es cierta (en caso de que las tres lo sean, seale la
opcin D):

A. Con una mquina de Turing ordinaria (cuya cinta es infinita en una sola direccin) es posible
simular una mquina de Turing infinita en ambas direcciones
B. Es posible establecer una aplicacin biunvoca (relacin uno a uno) entre las mquinas de Turing
deterministas y los lenguajes estructurados por frases de modo que a cada mquina le
corresponda el lenguaje que acepta
C. Una mquina de Turing que tenga uno o ms estados de parada siempre concluye sus clculos
D. Las tres afirmaciones son ciertas

3. El nmero mnimo de estados de un AFND (autmata finito no determinista) es de:

A. Dos
B. Uno
C. No hay Nmero Mnimo
D. Depende el alfabeto sobre el que est definido


I 2009
TEMA A

Pgina 2 de 6

4. Cul de las siguientes respuestas definen con precisin: Qu es un rbol de decisin?.

A. Son los que permiten mostrar grficamente un smbolo para convertirlo en un lenguaje
B. Son los que permiten mostrar grficamente un autmata
C. Son los que permiten mostrar grficamente cmo se puede derivar cualquier cadena de un
lenguaje a partir del smbolo distinguido de una gramtica que genera ese lenguaje.
D. Son los que permiten mostrar grficamente un autmata finito.

5. Indique cul de las siguientes afirmaciones es verdadera

A. Un autmata finito no determinista es una representacin abreviada de un autmata finito
determinista.
B. Los autmatas finitos no deterministas son mas potentes que los autmatas finitos deterministas
C. En un diagrama completo que represente a un autmata finito determinista, de cada estado sale
un arco por smbolo y solo uno.
D. Ninguna de las afirmaciones anteriores es cierta

6. De un Lenguaje Libre de Contexto podemos afirmar que es:

A. Es un Lenguaje que es generado por una gramtica libre de contexto
B. Es el Algoritmo que nos indica el lenguaje de la gramtica
C. Es un lenguaje regular
D. Ninguna de las anteriores

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

A. El primero en entrar el ultimo e salir
B. El ltimo en entrar el primero en salir
C. El primero en entrar el primero en salir
D. El ltimo en entrar el ltimo en salir

8. Suponga que se desea construir una mquina de Turing que enumere en orden sobre su cinta todos
los nmeros enteros. Indique cul de las siguientes afirmaciones es VERDADERA:

A. La mquina necesariamente habra de proporcionar el resultado en notacin binaria
B. La mquina podra devolver el resultado en notacin decimal
C. No existe ninguna mquina de Turing, ya que el problema planteado no es computable
D. Ninguna de las anteriores afirmaciones es VERDADERA


I 2009
TEMA A

Pgina 3 de 6

9. Seleccione cul de las siguientes situaciones no es posible cuando una mquina de Turing
determinista examina una cadena:
A. La mquina abandona los clculos por no encontrar ninguna transicin aplicable
B. La mquina no se detiene nunca
C. Se produce una terminacin anormal (es decir, la cabeza lectora se desplaza a la izquierda de la
primera celda de la cinta)
D. La Mquina de Turing no puede examinar cadenas

10. Indique cul de las siguientes afirmaciones, referidas a la mquina de Turing de la figura, es falsa:

A. Reconoce la cadena yyx
B. Es no determinista
C. Puede tener una terminacin anormal
D. Existe una mquina de Turing de dos cintas que reconoce el mismo lenguaje

11. Cul de las siguientes cadenas corresponde con un Lenguaje Regular

A. {abca}
B. {abaabbb}
C. {aaababaa}
D. {abababab}


I 2009
TEMA A

Pgina 4 de 6

12. El siguiente Autmata representa:

A. Todas las palabras terminadas con a.
B. Todas las palabras terminadas en b.
C. Todas las palabras que terminen en h
D. Todas las palabras que terminen en j

PREGUNTAS 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.

13. Considerando a las Ciencias de la Computacin (C.C) como un cuerpo de conocimiento cuyo
principal objetivo es la resolucin de problemas por medio de un Computador. Se pueden citar las
siguientes definiciones

1. Las C.C hacen referencia al estudio sistmico de la evolucin de los computadores a travs de
las diferentes generaciones, basados en la capacidad de almacenamiento magntico
2. Las C.C hacen referencia al estudio de la escalabilidad del hardware de los computadores de
ltima generacin
3. Las C.C es el estudio sistemtico de los procesos algortmicos que describen y transforman
informacin
4. Las C.C es el estudio sistemtico de los algoritmos y estructuras de datos, especificamente de
sus propiedades formales

I 2009
TEMA A

Pgina 5 de 6

14. L es un Lenguaje Regular s, y solo s:

1. L es finito
2. L es la unin o concatenacin de otros lenguajes regulares R1 y R2, L = R1 U R2
3. L es un lenguaje infinito
4. L es la Interseccin entre dos lenguajes regulares

15. Elementos que son necesarios para conocer el estado de un Autmata en un momento dado

1. Smbolos de Entrada
2. Alfabeto
3. Smbolos de Salida
4. Lenguaje

16. Un autmata de pila por definicin tiene las siguientes caractersticas:

1. La pila funciona de manera que el ultimo carcter que se almacena en ella es el primero en salir
(LIFO por las siglas en ingls)
2. No podemos modificar su tope, que es el extremo por donde entran o salen los caracteres.
3. Slo podemos modificar su tope, que es el extremo por donde entran o salen los caracteres.
4. La pila funciona de manera que el primer carcter que se almacena en ella es el primero en salir
(FIFO por las siglas en ingls)

PREGUNTAS DE ANLISIS DE RELACIN

Este tipo de preguntas 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 preguntas, 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 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.


I 2009
TEMA A

Pgina 6 de 6

17. Uno de los principales factores determinantes en la revolucin en el mbito de la ciencia, la tcnica
y la cultura de nuestros das es el desarrollo de la Informtica PORQUE Un lenguaje formal o natural
como el ingls o el espaol son la clase de lenguajes que han evolucionado con el paso del tiempo y
tienen por fin la comunicacin humana.

18. 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

19. 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

20. Una de las aplicaciones de los Autmatas la podemos encontrar en la construccin de
compiladores PORQUE Mediante un Autmata Finito Determinista es posible deducir si una cadena
pertenece a un lenguaje concreto

Cuad Autlengf 301405

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Cuad Autlengf 301405

Uploaded by

Copyright:

Available Formats

VICERRECTORA ACADMICA Y DE INVESTIGACIN

SISTEMA NACIONAL DE EVALUACIN

You might also like