added automata-mk2