Aller au contenu

Correction locale

Un article de Wikipédia, l'encyclopédie libre.
Ceci est la version actuelle de cette page, en date du 27 décembre 2018 à 15:09 et modifiée en dernier par HerculeBot (discuter | contributions). L'URL présente est un lien permanent vers cette version.
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

La correction locale est une technique de récupération sur erreur. Lorsqu'un analyseur constate une erreur lors de la lecture d'un symbole, il remplace le symbole lu par un autre qui lui semble plus juste.