Definimos un algoritmo recursivo que toma un árbolT sobrek≥2 vértices etiquetados por elementos de un conjuntoS de enteros positivos de tamañok y devuelve una cadena de longitud\(...Definimos un algoritmo recursivo que toma un árbolT sobrek≥2 vértices etiquetados por elementos de un conjuntoS de enteros positivos de tamañok y devuelve una cadena de longitudk−2 cuyos símbolos son elementos deS. (El conjuntoS suele ser[k], pero para definir un procedimiento recursivo, necesitamos permitir que sea un conjunto arbitrario de enterosk positivos.) Esta cadena se llama el código Prüfer del árbolT.