Cálculo de los bloques finales de un programa

El vídeo introduce la definición formal de la función "final" para el cálculo de los bloques "finales" (los que se ejecutan al final) de una sentencia o un programa escrito en el lenguaje WHILE. Vidal Oriola, GF. (2022). Cálculo de los bloques finales de un programa. http://hdl.handle.net/10251/183607