A customised automata algorithm and toolkit for language learning and application. (2018)