Diagrama que representa el flujo de control lógico de un programa mediante círculos, que simbolizan una o más sentencias, y flechas que representan una serie de construcciones estructurales (secuenciar, if, while, until, case). Cada construcción estructural tiene su notación particular (en círculos y flechas).