Langage rationnel

Carte Commune · n° 291127

En théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes : ce sont les langages décrits par les expressions régulières ou rationnelles, d'où le nom de langages réguliers ; ce sont les langages obtenus, à partir des lettres et de l'ensemble vide, par les opérations rationnelles, à savoir l'union, le produit et l'étoile de Kleene, d'où le nom de langages rationnels ; ce sont les langages reconnus par des automates finis, d'où le nom de langages reconnaissables. Les langages rationnels ont des applications à la fois théoriques et pratiques. Ils sont utilisés en informatique (par exemple en compilation de programmes), en linguistique (par exemple pour décrire la morphologie d'une langue). Ils interviennent dans les traitements de texte, ou dans des commandes spécifiques comme grep du système Unix. Pour la manipulation des langages rationnels et des automates, il existe de nombreux outils...

Lire sur Wikipédia