adding automaton library since modification will be needed