Email Record: Simulación de máquinas de estados finitos en java