On démarre en créant un état terminal regroupant les états terminaux de l’automate à déterminiser

Rien de tout cela n’est vrai

Il faut toujours ajouter un état « poubelle »

On démarre par un état initial défini comme l’ensemble des états initiaux de l’automate à déterminiser