Doctrine Automata