La poignée de main TCP se déroule en trois messages, dans cet ordre et dans aucun autre. L'automate ci-dessous la reconnaît, mais il est incomplet : certaines séquences le font se bloquer au lieu de les refuser proprement.
L'automate incomplet
Alphabet : SYN, SYNACK, ACK. États : s0 (initial), s1, s2, s3 (acceptant).
| Depuis | Symbole | Vers |
|---|---|---|
s0 | SYN | s1 |
s1 | SYNACK | s2 |
s2 | ACK | s3 |
Objectif
Compter ce qui manque, puis mesurer l'automate une fois complété par un état puits.
Pourquoi compléter
Un automate qui se bloque ne rend pas de verdict : il s'arrête, et le programme qui l'exécute doit traiter ce cas à part. Un automate complet répond toujours, soit en acceptant, soit en refusant. Le puits est l'état où aboutissent toutes les séquences devenues sans espoir, et il ne se quitte jamais.