Analiza el funcionamiento de un programa a partir de sus bloques.