Comme vous l'avez vu, un Automate Fini Déterministe (AFD ou DFA in english) est complet si de tout état et avec toute lettre il existe une transition (donc tout mot peut être lu sans blocage (⊥) de la première à la dernière lettre).

Étant donnés 2 DFA A et B qui reconnaissent respectivement les 2 langages L(A) et L(B).

On s'intéresse au produit C des 2 DFA, tel que défini en Ex3.5, mais l'ensemble des états d'acceptation de C, FC qui pourra être différent de celui défini en Ex3.5.

La différence ensembliste de X et Y, c'est-à-dire l'ensemble des éléments de X qui ne sont pas dans Y est notée X \ Y.