Théorème de Kleene
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
En théorie des automates, le théorème de Kleene affirme qu'un langage est rationnel si et seulement s’il est reconnu par un automate fini. Ce théorème est dû à Stephen Kleene.
C'est un théorème essentiel des langages formels, puisqu'il fait le lien entre expression rationnelle et automate.