Finite Tree Automata Determinisation

See readme file for instructions for use.
John Gallagher, jpg@ruc.dk.