Un diagramme et une table de transition décrivent le même objet. Le diagramme se lit vite, la table se vérifie vite : c'est elle qui rend visible une transition manquante ou une transition en double.
Objectif
Passer de l'un à l'autre, et mesurer ce que la table doit contenir.
La règle de lecture
Une table complète a une ligne par état et une colonne par symbole, donc autant de cases que le produit des deux. Un automate est déterministe quand chaque case contient au plus un état, et complet quand aucune case n'est vide. Les deux propriétés sont indépendantes : un automate peut être déterministe et incomplet, ce qui est le cas le plus fréquent dans les énoncés.