Workshop on Implementing Automata