Théorie des languages formels
Jules François Christophe
e※0=w⃟ e=s =r,uesi1,2=⃟1 ⃟=i t=,},…l h, den e{ ,,}n i=g{efb h,no dl Contenu Langages ?Contenu Langages ?• Théorie des langages formels • Langages naturels = moyen de communication entre humains• Langages naturels VS langages formels• Définitions, propriétés et opérations sur les langages • Caractéristiques: très riches et complexes, ambigus⇒ traitement difficilement automatisable• Génération VS reconnaissance • Ex: le français « j’aime le langage Pascal. »• Hiérarchie de Chomsky• Langages formels = moyen de communication • Langages réguliershomme-machine ou machine-machine• Définitions et propriétés• Caractéristiques: très réglementés, non-ambigus• Trois représentations: grammaires régulières, expressions ⇒ traitement automatisablerégulières, automates à états finis• Ex: Pascal « res:=x*x*x; if (x>=0) then return res>=0 • Manipulation: déterminisation, minimisation, changement else return res<0»de représentation• Décider si un langage est régulier6 7Théorie des langages formelsCCoommmmuunniiccaattiioonn HHoommmmee--MMaacchhiinnee UUttiilliittéé• Compilation / interprétation de langages de programmation• Information machine = courants électriques• Traitement automatique du langage naturel• Abstraction 1: langage binaire • Conception / vérification de circuits numériques• 0 = pas de courant (ou courant négatif) • Recherche de motifs dans des textes, bases de données, sites web, …• 1 ...