El vídeo introduce la construcción del CFG de un programa escrito en el lenguaje WHILE. El CFG tiene muchas aplicaciones, aunque se suele construir de forma intuitiva. En este vídeo, se formaliza su construcción mediante la función flow. Vidal Oriola, GF. (2022). El grafo de control de flujo de un programa WHILE. http://hdl.handle.net/10251/183712 DER