Un état simple est un état qui n’a pas de sous-structure. Un état qui possède des sous-structures (états imbriqués) est appelé un état composite. Les sous-structures peuvent être imbriquées à n’importe quel niveau. Un automate à états imbriqués peut avoir au maximum un état initial et un état final. Les sous-structures sont utilisées pour simplifier les automates à états plats complexes en montrant que certains états ne sont possibles que dans un contexte particulier (l’état englobant).
Continue reading