Various automata implementations