Grafo de Flujo de Control

Un grafo dirigido que representa el posible orden de ejecución y la transferencia de control entre bloques básicos o sentencias en un programa; los nodos suelen representar bloques básicos y las aristas saltos, bifurcaciones y transiciones por caída.