Renamed automaton namespace