Llamaremos secuencia o algoritmo a cualquier expresión de la forma "a → a → ...