Primero introducir una sencilla notación para la representación del flujo de control, denominada grafo de flujo de control de un programa.