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. Vidal Oriola, GF. (2022). Cálculo del bloque inicial de un programa. http://hdl.handle.net/10251/183713