Automata implementations