Un automate qui répond seulement « refusé » oblige celui qui lit le rapport à refaire la lecture à la main. Un automate qui répond « bloqué au troisième symbole, dans l'état s2 » lui donne l'endroit exact.
La table
| Depuis | Symbole | Vers |
|---|---|---|
s0 | SYN | s1 |
s1 | SYNACK | s2 |
s2 | ACK | s3 |
Objectif
Produire le diagnostic complet d'une séquence qui échoue.
Les deux façons d'échouer
Elles ne se confondent pas. Une lecture bloquée s'arrête faute de transition, et le rang du symbole fautif est l'information utile. Une lecture terminée hors d'un état acceptant va jusqu'au bout sans incident, et c'est le mot entier qui est trop court ou mal formé. Un diagnostic qui mélange les deux fait chercher au mauvais endroit.