FATKID : a Finite Automaton Toolkit

[摘要] ENGLISH ABSTRACT:This thesis presents the FATKID Finite Automata Toolkit. While a lotof toolkits currently exist which can manipulate and processnite stateautomata, this toolkit was designed to e ectively and e ciently generate,manipulate and process large numbers ofnite automata by distributingthe workow across machines and running the computations in parallel.Other toolkits do not currently provide this functionality. We show thatthis framework is user-friendly and extremely extensible. Furthermore weshow that the system e ectively distributes the work to reduce computationtime.

[发布机构] Stellenbosch University