El algoritmo para eliminar las transiciones vacías es el siguiente: