pequeñas mejoras en PSER/automata.c