Herschrijven (theoretische informatica)