26/6/2021 P1T-01-02 Primera Evaluación Parcial Teórica 2K1-2K2: Revisión del intento

Página Principal / Mis cursos / 2021-K-SSL / Primera Evaluación Parcial: 08/05/2021 / P1T-01-02 Primera Evaluación Parcial Teórica 2K1-2K2

Comenzado el sábado, 8 de mayo de 2021, 14:01

Estado Finalizado
Finalizado en sábado, 8 de mayo de 2021, 14:36
Tiempo 35 minutos 1 segundos
empleado
Calificación 8,41 de 10,00 (84%)

Pregunta 1
Dada la tabla siguiente de un autómata finito determinista minimizado, seleccione las respuestas correctas:
Parcialmente
correcta f a b c
Puntúa 0,33 →A B F E
sobre 1,00
B C E E
C E E D
 * D E E E
E E E E
F C E F

1. Si la configuración (A, aac) es la configuración inicial la cadena es reconocida.

2. (A, aac) solamente puede ser una configuración inicial. 

3. Si la configuración (A, aac) es la configuración inicial la cadena no es reconocida.

4. La configuración (A, aac) puede ser una configuración no inicial

5. La configuración (A, aac) si no es la configuración inicial no es una configuración válida

6. (C, ca) puede ser una configuración válida y la cadena analizada será reconocida.

Pregunta 2 Dada la gramática G = ({0, 1}, {S, L, T, W}, S, P), donde P está formado por las siguientes producciones:

Parcialmente    S := LL | T

correcta
   L := 0L | T

Puntúa 0,70    T := λ
sobre 1,00
Indicar cuáles de las siguientes afirmaciones son verdaderas:

Seleccione una o más de una:

a. El símbolo no terminal W es a la vez inaccesible y superfluo.

b. El lenguaje que genera la gramática es independiente del contexto, pero no es regular.

c. Ninguna de las restantes afirmaciones es verdadera.

d. La cadena vacía no forma parte del lenguaje generado por la gramática.

e. El lenguaje que genera la gramática puede expresarse mediante la expresión regular: 0* 

Pregunta 3
El algoritmo de Thompson combina los autómatas finitos (AF) de dos expresiones regulares dadas E1 y E2 de diversas formas según la
Correcta
expresión regular de que se trate:
Puntúa 1,00
sobre 1,00
Si la expresión es E1 + E2 entonces combina los AF en paralelo  .

Si la expresión es  E1 ° E2 entonces combina los AF en serie  .

https://uv.frc.utn.edu.ar/mod/quiz/review.php?attempt=899104&cmid=192553 1/3
26/6/2021 P1T-01-02 Primera Evaluación Parcial Teórica 2K1-2K2: Revisión del intento

Pregunta 4
Complete las palabras faltantes en las siguientes afirmaciones:
Parcialmente
correcta Un compilador es un traductor especial que toma un programa escrito en lenguaje de alto nivel  , y lo traduce generalmente a
Puntúa 0,83 una representación en lenguaje de bajo nivel  . Durante la compilación, deben convivir en memoria el propio
sobre 1,00
programa binario  , las estructuras y representaciones necesarias.

Por su parte, un intérprete es un traductor especial que lee y ejecuta progresivamente un programa escrito en lenguaje
de alto nivel  , sin necesariamente cargarlos completamente en memoria  , ni generar en forma completa un
archivo con la representación en lenguaje de bajo nivel  .

programa binario intérprete disco rígido editor fuente compilador programa ejecutable

UNCOL de bajo nivel de alto nivel librerias (.dll) memoria

Pregunta 5
Indique las afirmaciones que considere correctas relacionadas con Autómatas Finitos Deterministas (AFD) minimizados:
Correcta

Puntúa 1,00 a. Para dos AFD equivalentes, los AF mínimos obtenidos a partir del proceso de minimización también son equivalentes entre sí. 
sobre 1,00
b. Dos AFD equivalentes tienen los mismos AF mínimos. 

c. El AFD minimizado puede tener menos cantidad de estados que el AFD original. 

d. Para dos AFD equivalentes, los AF mínimos obtenidos a partir del proceso de minimización NO son equivalentes entre sí.

e. El AFD minimizado siempre tiene menos cantidad de estados que el AFD original.

Pregunta 6
Dado un AFD = ( Σ, Q, q0, A, f ), el lenguaje aceptado es:
Correcta

Puntúa 1,00 L(AFD) = { α ∈ Σ*  /  (q0 , α)    |--*  (qn , λ)  y  qn  ∈  A  }.

sobre 1,00

Pregunta 7
Los árboles de descripciones instantáneas de cadenas procesadas por un AFND-λ podrían contendrán algunas ramas de longitud infinita.
Correcta

Puntúa 1,00 Seleccione una:

sobre 1,00
Verdadero 

Falso

Pregunta 8
Pensando en una Gramática Bien Formada, para las Reglas de Redenominación del tipo A:=B, se cumple:
Parcialmente
correcta
Seleccione una o más de una:
Puntúa 0,67
a. Si A posee otras reglas de producción, se trata de polisemia. 
sobre 1,00

b. Se dice que A puede ser reescrito como B, esto es polisemia

c. Si B tiene otras reglas de producción se trata de sinonimia.

d. Es equivalente escribir B:=A

e. Se dice que A puede ser reescrito como B, esto es sinonimia. 

Pregunta 9 Complete la definición de la siguiente gramática:

Correcta
Tipo 0 : Recursivamente Enumerable  .
Puntúa 1,00
sobre 1,00
Sus producciones tienen la forma:    αAß := δ 

con α, ß  (ΣT U ΣN)*  ,  δ  (ΣT U ΣN)*    y  A ΣN

 .
.

        

Sensible al Contexto Lineal ΣN+ ΣT

ΣN (ΣT U ΣN)* ΣN* (ΣT U ΣN)+

de Contexto Libre (ΣT U ΣN) Recursivamente Enumerable

https://uv.frc.utn.edu.ar/mod/quiz/review.php?attempt=899104&cmid=192553 2/3
26/6/2021 P1T-01-02 Primera Evaluación Parcial Teórica 2K1-2K2: Revisión del intento

Pregunta 10
Indique las relaciones correctas entre lenguajes, gramáticas y autómatas, colocando el nombre de la gramática que genera el lenguaje
Parcialmente según su tipo en la jerarquía de Chomsky, y el correspondiente autómata más restringido que reconoce ese lenguaje:
correcta

Puntúa 0,88
Lenguajes Tipo 0: Gramática Ambigua  Autómata: Máquina de Turing 
sobre 1,00
Lenguajes Tipo 1: Gramática Dependiente del Contexto  Autómata: Autómata Linealmente Acotado 

Lenguajes Tipo 2: Gramática Independiente del Contexto  Autómata: Autómata con Pila 

Lenguajes Tipo 3: Gramática Regular  Autómata: Autómata Finito 

Atribuida

Estructurada por Frases de Greibach

Máquina de Mealy Autómata traductor

Autómata Comprimido

P1P-01-02 - Primera Evaluación Parcial Práctica

◄ SSL-U8 Cuestionario Único Ir a...
2K1-2K2 ►

https://uv.frc.utn.edu.ar/mod/quiz/review.php?attempt=899104&cmid=192553 3/3