DFTA tool

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
DFTA tool

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.

See readme file in source code distribution for instructions for use.

John Gallagher, jpg@ruc.dk.