Describir: Sobre la corrección de algoritmos de enumeración de n-ADAS para la enumeración de programas