Automata 2017-07