Dérivée de Brzozowski

La dérivée de Brzozowski est un outil qui permet de construire un automate fini à partir d'une expression rationnelle ou régulière. Elle tient son nom de l'informaticien Janusz A. Brzozowski qui, dans un article datant de 1964, en a étudié ses propriétés et a …