Desarrollo de un entorno de simulación para autómatas deterministas