Un factor para determinar la división es si una construcción del lenguaje fuente es inherentemente recursiva o no.