La estructura jerárquica de un programa normalmente se expresa utilizando reglas recursivas.