Réécriture (informatique)En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises. La réécriture est utilisée en informatique, en algèbre, en logique mathématique et en linguistique. La réécriture est utilisée en pratique pour la gestion des courriers électroniques (dans le logiciel sendmail, les entêtes de courrier sont manipulées par des systèmes de réécriture) ou la génération et l'optimisation de code dans les compilateurs.
Échelle (proportion)Une échelle est le rapport entre la mesure d'un objet réel et la mesure de sa représentation (carte géographique, maquette). Elle est exprimée par une valeur numérique, généralement sous la forme d'une fraction. Une échelle 1/100 (ou 1:100, ou « au ») implique la relation : où est la distance apparente et la distance réelle. Dans l'exemple ci-dessus, la représentation est plus petite que l'objet réel : sur le plan représente dans la réalité, soit .
