Cálculo del bloque inicial de un programa

En este vídeo se presenta la definición formal de la función init y su aplicación para calcular la etiqueta del bloque inicial de un programa escrito en el lenguaje WHILE.