En combinatoria computacional , un algoritmo sin bucle o algoritmo imperativo sin bucle es un algoritmo imperativo que genera objetos combinatorios sucesivos, como particiones , permutaciones y combinaciones , en tiempo constante y el primer objeto en tiempo lineal . [1] [2] Los objetos deben estar inmediatamente disponibles en forma simple sin requerir ningún paso adicional. [1]
Un algoritmo funcional sin loops es un algoritmo funcional que toma la forma paso desplegado • prólogo donde paso toma tiempo constante y prólogo toma tiempo lineal en el tamaño de la entrada. [3] [4] La función estándar unfoldr es un Bird unfold asociativo por la derecha . [3]