Ya funciona bien con bucles. Hay que limarlo para que acepte como terminales a símbolos.