An Otimised Algorithm for Determinisation and Completion of Finite Tree Automata