Considere a construção da estrutura de uma árvore binária: cada nó é de um tipo registro chamado de noh com um campo com um inteiro (dado) e dois campos para os nós filhos (ant) e (prox), que são apontadores para noh (aqui convencionado como noh^). O elemento apontado por uma variável apontadora pt, por exemplo, é ‘pt^’. Considere o seguinte pseudocódigo do procedimento de construção da árvore:
O parâmetro “nodearv” é passado para “construa” por referência, e a função “novo” aloca espaço na memória para um novo nó. Suponha que a variável “raiz” é do tipo “noh^” e é inicializada com ‘NULO’. Então, para cada valor ‘x’ em {2,6,1,9,4,7,3,8,5}, nessa ordem, nós chamamos “construa(raiz, x);”, acarretando a construção da árvore com esses valores. As folhas dessa árvore (nós sem filhos) resultam, portanto, em:
O parâmetro “nodearv” é passado para “construa” por referência, e a função “novo” aloca espaço na memória para um novo nó. Suponha que a variável “raiz” é do tipo “noh^” e é inicializada com ‘NULO’. Então, para cada valor ‘x’ em {2,6,1,9,4,7,3,8,5}, nessa ordem, nós chamamos “construa(raiz, x);”, acarretando a construção da árvore com esses valores. As folhas dessa árvore (nós sem filhos) resultam, portanto, em:
