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. https://riunet.upv.es/handle/10251/183713 DER
9:18 · 2011