Sabemos pós-encomenda, post L(x) => [x] post N(x,l,r) => (post l) ++ (post r) ++ [x] e pré-encomenda pre L(x) => [x] pre N(x,l,r) => [x] ++ (pre l) ++ (pre r) e passagem em ordem resp. sequencialização. in L(x) => [x] in N(x,l,r) => (in l) ++ [x] ++ (in r) Pode-se ver...