L'ensemble vide n'est pas un accident de la construction : c'est l'état puits, celui où la lecture aboutit quand plus aucune hypothèse ne survit.
Objectif
Mesurer l'espace des sous-ensembles, et comprendre le sort de l'ensemble vide.
Ce qui le caractérise
L'ensemble vide boucle sur lui-même pour chaque symbole, puisque l'union des successeurs d'un ensemble sans élément est vide. Il n'est jamais acceptant, puisqu'il ne contient aucun état acceptant. Autrement dit, il se comporte exactement comme l'état puits que l'on ajoute à la main pour compléter un automate, et la construction le fabrique toute seule.
Le critère d'acceptation
Un sous-ensemble est acceptant dès qu'il contient au moins un état acceptant de l'automate de départ. C'est la traduction directe de la règle du non-déterminisme : un mot est accepté dès qu'un chemin réussit, même si tous les autres échouent.