Adding automaton lib