La implementació més immediata dels recorreguts consisteix a construir funcions recursives a partir de l'especificació aplicant-hi tècniques de derivació de programes (en aquest cas, fins i tot, per traducció directa).