Finite Tree Automata Determinisation

• Source code (Java) and jarfile (github).
• jarfile
• Flexible input syntax including Timbuk syntax.
• Article Optimised determinisation and completion of finite tree automata. John P. Gallagher, Mai Ajspur, Bishoksan Kafle. J. Log. Algebraic Methods Program. 95: 1-16 (2018). arXiv version.