Automates

Décrire un système par ses états, reconnaître une séquence, et lire une expression régulière comme une machine.

Un automate décrit un système qui n'a pas de mémoire du passé, seulement un état présent : un sas de sécurité, un protocole réseau, un contrôleur industriel. C'est aussi ce qui se cache derrière chaque expression régulière. Les automates de ces pages se parcourent symbole par symbole, et sur un automate non déterministe plusieurs états s'allument en même temps.