Finite Tree Automata Determinisation

See readme file in source code distribution for instructions for use.
John Gallagher, jpg@ruc.dk.