Méthode de Brzozowski et McCluskey

La méthode de Brzozowski et McCluskey, aussi appelée méthode d'élimination d'états (« state elimination method »), est une méthode permettant d'obtenir une expression rationnelle à partir d'un automate fini. L'algorithme porte le nom de ses inventeurs, J. A. B…