théorème de Kleene

INFORMATIQUE

En théorie des automates, le théorème de Kleene affirme qu’un langage est rationnel (i.e. décrit par une expression rationnelle) si et seulement s’il est reconnu par un automate fini.