Contiennent uniquement des états non-terminaux de l’automate d’origine

Peuvent contenir des états terminaux ainsi que des états non-terminaux de l’automate d’origine

Ne contiennent que des états terminaux de l’automate d’origine