Automata in the Library