Adding automata library.