PUERTA | PUERTA CS 2021 | Juego 2 | Pregunta 48

Para una declaración S en un programa, en el contexto del análisis de vida, se definen los siguientes conjuntos:

• USE(S) : el conjunto de variables utilizadas en S
• IN(S) : el conjunto de variables que están activas a la entrada de S
• OUT(S) : el conjunto de variables que están vivas a la salida de S

Considere un bloque básico que consta de dos declaraciones, S1 seguida de S2. ¿Cuál de las siguientes afirmaciones es correcta?
(A) SALIDA(S1) = ENTRADA (S2)
(B) SALIDA (S1) = ENTRADA (S1) ∪ USAR (S1)
(C) SALIDA (S1) = ENTRADA (S2) ∪ SALIDA (S2)
(D) SALIDA (S1) = USAR (S1) ∪ EN (S2)

Respuesta: (A)
Explicación:

El número de variables activas después de S1 siempre será la entrada para S2. 
(Opción correcta A)

Cuestionario de esta pregunta