automata-gen demo