perl converter (json -> xml) & python MKA (minimalisation of finite-state automaton)