AUTOMATAS Y LENGUAJES FORMALES Perfil Salir

Evaluación Nacional 2014 - 1

1 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de

P untos : 1
estas opciones responde correctamente a la pregunta.

Enunciado: Acerca del funcionamiento de un Autómata de Pila, cuál de las siguientes operaciones o comportamientos NO las hace este
autómata.

Seleccione una a. Al igual que los AF, los AP tienen estados finales, que permiten distinguir cuando una palabra de entrada es aceptada
respuesta.
b. En la Pila una transición de un estado a otro Arroja la información de lo que sale de la pila (tope), no de lo que entra ya que el
avance es progresivo hacia adelante y no hacia atrás.

c. Una de las condiciones para que una palabra de entrada sea aceptada en un AP la pila debe estar vacía.

d. La pila no tiene límite en sus extremos. A diferencia de las MT que son cerradas por la izquierda.

2 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de

P untos : 1
estas opciones responde correctamente a la pregunta.

Enunciado: Sea M un autómata de pila. Indique cuál de las siguientes afirmaciones es falsa.

Seleccione una a. Sea L={a, ba}. L puede ser aceptado por un autómata de pila determinista que siempre llegue a los estados de aceptación con
respuesta. pila vacía

b. Sea L={a, ab}. L puede ser aceptado por un autómata de pila determinista que siempre llegue a los estados de aceptación con
pila vacía

c. Si M es un autómata de pila determinista que siempre llega a los estados de aceptación con pila vacía, entonces L(M) no puede
ser aceptado por un autómata de pila no determinista

d. Un autómata de Pila reconoce lenguajes que sean generados por gramáticas de tipo2.

3 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (1, 2, 3, 4). Solo dos (2) de

P untos : 1
estas opciones responden correctamente a la pregunta de acuerdo con la siguiente información.

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.

Enunciado: Existen diferencias marcadas entre los lenguajes de programación (LP) y los lenguajes naturales (LN). Identifique cuáles son
válidas.

1. En los LN, las reglas gramaticales son interpretadas y manejadas por los computadores con instrucciones guales o similares alas de los
LP.

2. Las reglas en sintaxis de los LP so las mismas para los LN. Difieren únicamente en la interpretación semántica que se les dé.

3. Los LP tienen unas reglas de sintaxis y de semántica mucho más rígidas, (cerradas) lo que les hace manejables en los computadores

4. En los lenguajes naturales, las reglas pretenden explicar la estructura del lenguaje.

Seleccione una a. Marque A si 1 y 2 son correctas

respuesta.
b. Marque B si 1 y 3 son correctas.

c. Marque C si 2 y 4 son correctas.

d. Marque D si 3 y 4 son correctas.

4 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de

P untos : 1
estas opciones responde correctamente a la pregunta.

Enunciado: Los problemas indecidibles, son también parte del estudio de Autómatas y lenguajes Formales. La indecibilidad de estos
problemas lleva a ratificar afirmaciones que han sido demostradas mediante algoritmos complejos computables que concluyen en
afirmaciones como:

Seleccione una a. Decidir si un lenguaje que se genera es vacío o no, es un problema que sí tiene solución por una MT.
respuesta.
b. Con un computador real, se puede determinar con certeza cualquier problema en el sentido si es decidible o no.

c. Las MT por ser la máquina abstracta más poderosa, soluciona cualquier problema que en teoría sea indecidible.

d. Hay infinitos problemas para los que no se va a tener una MT que los resuelva (ni siquiera los reconozca).

5 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de

P untos : 1
estas opciones responde correctamente a la pregunta.

Enunciado: Dado los siguientes tres codificadores convolucionales, diseñados para trabajar de forma lineal secuencial redundante:

Se da como entrada el bit “1” en el codificador 1. Haga el recorrido completo hasta llegar a la salida del codificador 3. Los bits de salida
codificados finales son:

Tenga en cuenta que a partir del codificador 2, los bits de salida o entrada (según el caso) se deben sobrescribir o reemplazar.

Seleccione una a. UNO - CERO (10)

respuesta.
b. UNO - UNO (11)

c. CERO - UNO (01)

d. CERO -CERO (00)

6 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (1, 2, 3, 4). Solo dos (2) de

P untos : 1
estas opciones responden correctamente a la pregunta de acuerdo con la siguiente información.

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.

Enunciado: Los errores más comunes al diseñar gramáticas (GLC ) son:

1. Reutilizar gramáticas y modificarlas para ajustarlas al lenguaje generado

2. Que “sobren palabras”

3. C ombinar gramáticas

4. Que “falten palabras”,

Seleccione una a. Marque A si 1 y 2 son correctas.

respuesta.
b. Marque B si 1 y 3 son correctas.

c. Marque C si 2 y 4 son correctas.

d. Marque D si 3 y 4 son correctas.

7 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de
estas opciones responde correctamente a la pregunta.
P untos : 1

Enunciado: Si a un Autómata se le adiciona un almacenamiento auxiliar, se está construyendo entonces:.

Seleccione una a. Una Turing Machine (TM)

respuesta.
b. Un Pushdow n Automaton (PA)

c. Un Autómata Determinístico Finito.

d. Un Autómata No determinístico pero Finito

8 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de

P untos : 1
estas opciones responde correctamente a la pregunta.

Enunciado: Dado el siguiente codificador convolucional, asuma para un dato de entrada K = 01011101 con una m=3 iniciada en 000:
C alcule el dato codificado “n” sin errores después de pasar por el codificador. El dato codificado es:

Seleccione una a. (11 00 00 10 11 01 00 01)

respuesta.
b. (11 10 00 10 01 01 00 01)

c. (11 01 00 10 01 10 00 01)

d. (11 11 00 10 11 00 11 01)

9 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de

P untos : 1
estas opciones responde correctamente a la pregunta.

Enunciado: En el campo de la complejidad algorítmica (problemas de algoritmos y de lógica) se presenta la “Decibilidad de teorías lógicas”.
Una técnica para resolver problemas de este tipo es reducir un problema a otro para comprobar si tiene o no solución efectiva. Al hacer
uso de esta estrategia en el caso que la respuesta sea negativa, se da:

Seleccione una a. Si se reduce de forma efectiva un problema sin solución efectiva a otro problema, se convierte en un problema parcialmente
respuesta. soluble (existe una Máquina de Turing que resuelve el problema, pero puede no parar)

b. Si se reduce de forma efectiva un problema sin solución efectiva a otro problema, se determina la clase de complejidad siendo
esta la solución.

c. Si se reduce de forma efectiva un problema sin solución efectiva a otro problema, entonces este nuevo problema tampoco
tendrá solución efectiva.

d. Si se reduce de forma efectiva un problema sin solución efectiva a otro problema, entonces es probable que solo se solucione
usando una Máquina de Turing (MT).

10 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de
estas opciones responde correctamente a la pregunta.
P untos : 1

Enunciado: La decodificación para canales con ruido usando las técnicas de codificación convolucional, se hace mediante el algoritmo de
 Viterbi. El objetivo de aplicar este método es:

Seleccione una a. Reducir la cantidad de transiciones y cálculos cuando se presentan los bits redundantes y datos codificados.
respuesta.
b. Que los bits redundantes que acompañan al dato, ayuden a detectar y corregir errores en la transmisión. El método separa los
bits redundantes y muestra el dato.

c. Identificar la mayor cantidad de bits de control para compararlos con los bits de datos.

d. Encontrar el último estado que posee el error.

11 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de
estas opciones responde correctamente a la pregunta.
P untos : 1

Enunciado: C uando se realizan simulaciones ya sea con software con JFLAV o VAS o con cualquier herramienta de software que cumpla las
bases de simulación de automatización, o acogiéndose a los teoremas y funciones propias de cada autómata, se puede afirmar:

Seleccione una a. La simulación de MT es posible solo si es una MT de una sola cinta. Para MT multicinta basta con cambiar el estado o salida final
respuesta.
b. La simulación de Autómatas de PILA no tiene en cuenta el manejo de memoria, sino el de estados.

c. Los autómatas (AFD,AFN) y los autómatas de pila (AFDP o AFPN) se pueden simular con máquinas de Turing.

d. La simulación no permite determinar el poder computacional de la máquina

12 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de

P untos : 1
estas opciones responde correctamente a la pregunta.

Enunciado: Una analogía funcional, operacional de una Máquina de Turing con un componente físico real podría ser:

Seleccione una a. Soluciones computacionales de arquitecturas híbridas de algoritmos infinitos.

respuesta.
b. Sistemas de cómputo basados en arquitecturas como las de Neumann

c. Un codificador secuencial con estados fijos pero con memoria (ej: codificador convolucional)

d. Un compilador

13 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (1, 2, 3, 4). Solo dos (2) de

P untos : 1
estas opciones responden correctamente a la pregunta de acuerdo con la siguiente información.

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.

Enunciado: C onsidere la gramática: S→ 0S, S→ 1S, S→ S0, S→ lambda. Indique cuáles de las siguientes afirmaciones son verdaderas

1. La gramática es equivalente a S→0S, S→ 1S, S→ lambda

2. La regla S→ S0 es innecesaria
3. Las cadenas {0101, 1001] no son parte del lenguaje que genera
4. Existen derivaciones iguales quepueden ser nulas.

Seleccione una a. Marque A si 1 y 2 son correctas.

respuesta.
b. Marque B si 1 y 3 son correctas.

c. Marque C si 2 y 4 son correctas.

d. Marque D si 3 y 4 son correctas.

14 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de
estas opciones responde correctamente a la pregunta.
P untos : 1

Enunciado: El siguiente dato: 01011101 se ha codificado con el codificador convolucional y su salida con errores leyendo de izquierda a
derecha los pares han sido: 11 00 00 10 11 01 00 01
 La distancia de haming “dh” encontradas en el dato codificado son (seleccione la correcta). (de izquierda a derecha)

Seleccione una a. Para el par 2 dh= 2

respuesta. Para el par 6 dh = 2

b. Para el par 2 dh= 1

Para el par 5 dh = 1
Para el par 6 dh = 2

c. Para el par 2 dh= 1

Para el par 5 dh = 1
Para el par 6 dh=1
Para el par 7 dh =2

d. Para el par 2 dh= 2

Para el par 5 dh=2
Para el par 6 dh = 2

15 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de
estas opciones responde correctamente a la pregunta.
P untos : 1

Enunciado: Indique cuál de las siguientes afirmaciones es falsa teniendo en cuenta el determinismo de los autómatas finitos. (AF)

Seleccione una a. Un autómata finito determinista de q estados y n símbolos tiene n x q transiciones

respuesta.
b. Un autómata finito no determinista de q estados y n símbolos puede tener a lo sumo n x q (potencia 2) transiciones

c. Un autómata finito no determinista puede tener un número ilimitado de transiciones distintas

d. El número máximo de transiciones de un autómata finito determinista depende del número de estados y del número de símbolos
del alfabeto del autómata

16 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de

P untos : 1
estas opciones responde correctamente a la pregunta.

Enunciado: En Octubre de 1950, Alan Turing hizo estudios más abstractos y trató el tema de la Inteligencia artificial. Para ello propuso un
experimento que hoy se conoce como el “test de Turig”. Que consiste básicamente en: (seleccione la verdadera).:

Seleccione una a. “Método” para determinar si una máquina puede pensar.

respuesta.
b. Método para evaluar el rendimiento y capacidad de una maquia. “Poder de procesamiento”
 c. Procedimientos para evaluar decisiones lógicas de una máquina

d. Prueba de error que determina cuando un problema tiene solución o no.

17 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (1, 2, 3, 4). Solo dos (2) de

P untos : 1
estas opciones responden correctamente a la pregunta de acuerdo con la siguiente información.

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.

Enunciado: Dada la siguiente gramática con las siguientes producciones: Determine que opciones son verdaderas y aplican al diseño y
análisis de la misma

1. Reconoce las cadenas [xx, yy]

2. Genera le lenguaje : L = [x(potencia m)y(potencia n) | 0 <= n <= m <= 3n ]

3. La gramática debe aplicar las reglas 2(potencia n) veces para que genere el lenguaje L = [x(potencia m)y(potencia n) | 0 <= n <= m ]

4. Es una gramática Ambigua lineal por la izquierda

Seleccione una a. Marque A si 1 y 2 son correctas.

respuesta.
b. Marque B si 1 y 3 son correctas.

c. m

d. 3n hay que aplicar 3n–m veces la segunda regla y m–2n veces la segunda.)

e. Marque C si 2 y 4 son correctas

f. Marque D si 3 y 4 son correctas.

18 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de
estas opciones responde correctamente a la pregunta.
P untos : 1

Enunciado: El número de estados posibles para un diagrama de estados está dado por:

Seleccione una a. 2 k potencia (m-1)

respuesta. Dónde: K= la secuencia en cantidad de bits que van a entrar al codificador.
m= la memoria del codificador ( es restringida)
n = es una salida codificada (número de bits).

b. 2 k potencia (n-1)
Dónde: K= es el número de bits de la cadena a evaluar (antes de ser codificada).
m= la memoria del codificador ( es restringida)
n = es una salida codificada (número de bits).
Si K =1 ; n= 3. El total de estados es cuatro.

c. 2 potencia n
Dónde: K= es el número de bits de la cadena a evaluar (antes de ser codificada).
m= la memoria del codificador ( es restringida)
n = es una salida codificada (número de bits).
Para un codificador convolucional de ratio R = ½ con K=1 El total de estados es cuatro.

d. 2 potencia k(m-1)
 Dónde: K= es el número de bits de la cadena a evaluar (antes de ser codificada).
m= la salida del codificador
Si K =1 ; m= 3. El total de estados es cuatro.

19 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de
estas opciones responde correctamente a la pregunta.
P untos : 1

Enunciado: En una Gramática Regular, un componente de la C uadrupla que la compone, es el Alfabeto. Este esta caracterizado como:

Seleccione una a. Un alfabeto no vacío de símbolos terminales

respuesta.
b. Un alfabeto infinito y no vacío de símbolos terminales

c. Un alfabeto inicializado con lambda como cadena válida

Tiem po restante
d. Un alfabeto regular (o sea de tipo 3 según Chomsky)
1:47:45

20 C ontexto: Este tipo de pregunta se desarrolla en torno a un (1) enunciado y cuatro (4) opciones de respuesta (A, B, C , D). Solo una (1) de

P untos : 1
estas opciones responde correctamente a la pregunta.

Enunciado: De los modelos creados para realizar cómputos y desarrollar problemas, es válido afirmar:

Seleccione una a. Los modelos propuestos por Hilbert, solucionan cualquier problema ”No soluble”
respuesta.
b. Las llamadas máquinas de Turing no constituyen ni el primero ni el único formalismo para expresar cómputos, pero sí el que
más ha perdurado

c. La MT no es un modelo Computable ya que solo se basa en simulación.

d. Las funciones computables hacen referencia o son iguales a afirmar que son modelos computables.

Guardar sin enviar Enviar todo y terminar

U s ted s e ha autentific ado c omo A N A A I D E D L O P E RE N A (Salir)

301405

Nacionales_20141a ► 301405 ► Cuestionarios ► Evaluación Nacional 2014 - 1 ► Intento 1