L’objet de ce cours est une initiation à la théorie des langages formels. De manière générale, les langages sont les supports naturels de communication. Ils permettent aux hommes d’échanger des informations et des idées, ils leur permettent également de communiquer avec les machines.
La théorie des langages permet de résoudre ce type de problème. En théorie des langages, l’ensemble des entités élémentaires est appelé l’alphabet. Une combinaison d’entités élémentaires est appelé un mot. Un ensemble de mots est appelé un langage et est décrit par une grammaire.
Contrairement à la classe des langages rationnels, la classe des langages algébriques n'est pas stable par intersection et complémentation. Soit L un langage algébrique. Pour le montrer on utilise la forme normale de Chomsky. Pour toute grammaire algébrique, il existe une grammaire sous forme normale de Chomsky équivalente.
Soit G = (V, Σ, R, S) une grammaire algébrique. Le langage engendré par G, noté L(G), est : L(G) = { w ∈ Σ* | S ⇒G* w } Un langage est dit algébrique s'il peut être engendré par une grammaire algébrique. ... f B g h i j A k ... $ i h j g k f ... S ⇒ EE ⇒ EEEE ⇒ aEEE ⇒ abEEE ⇒ abaEE ⇒ ababEE ⇒ ababaE ⇒ ababaa