actualizado PSER/automata.c