libreria automata