Rien de tout cela n’est vrai

Aucun état initial ne doit être aussi terminal

Il doit avoir un seul état initial et aucune transition ne doit aboutir dans l’état initial

Il peut avoir plusieurs états initiaux et aucune transition ne doit aboutir dans un état initial

Possède les mêmes états terminaux que

Tous les états terminaux de deviennent états non terminaux de , sauf l’état initial

Tous les états non terminaux de deviennent états terminaux de , sauf l’état poubelle

Tous les états terminaux de deviennent états non terminaux de

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

peut être quelconque

doit être déterministe et complet

doit être standard

doit être déterministe mais pas forcément complet

Un nombre impair de ‘b’ suivi d’un nombre impair de ‘a’

Un nombre pair de ‘b’ suivi d’un nombre pair de ‘a’

Un nombre impair de ‘b’ suivi d’un nombre pair de ‘a’

Un nombre pair de ‘b’ suivi d’un nombre impair de ‘a’

Aboutissent à l’état initial

Aboutissent à l’état poubelle

Aboutissent à l’état terminal

Cela dépend de l’automate