Théorie des Languages Flashcards
(15 cards)
Donner un schéma de l’ordre d’inclusion des langages formels selon la hiérarchie de Chomsky
Qu’est ce qu’un langage formel?
Un langage formel est un ensemble (fini ou infini) de mots
Qu’est-ce qu’un mot pour un langage?
un mot est une suite finie de symboles provenant d’un alphabet donné. Le mot vide (noté epsilon) ne contient aucun symbole
qu’est qu’un alphabet ?
alphabet (souvent noté A ou Σ) contient un nombre fini de symboles
À quoi sert la hiérarchie de Chomsky ?
Elle classe les langages en quatre types selon leur puissance expressive et complexité : langages rationnels (type 3), langages algébriques (type 2), langages contextuels (type 1) et langages récursivement énumérables (type 0).
Qu’est-ce qu’une grammaire en théorie des langages formels ?
Une grammaire est un formalisme utilisé pour représenter un langage FORMEL, comprenant des symboles terminaux( minuscules), non-terminaux (MAJUSCULES), un symbole de départ et des règles de production.
Qu’est-ce que la concaténation dans les opérations sur les langages ?
Qu’est ce que l’opération de puissance d’un langage ?
expliquer ce tableau de clôture des langages
Ce tableau démontre comment chaque type de langage réagit à ces opérations, indiquant si l’application d’une opération spécifique sur des langages d’un certain type résulte toujours en un langage du même type.
Qu’est que la la fermeture de Kleene ?
Qu’est-ce qu’une grammaire linéaire ?
- non contextuelle( ou algébrique)
- membre droit possède des terminaux et au max un non terminal
Qu’est-ce qu’une grammaire linéaire à gauche ?
Une grammaire est linéaire a gauche si
-c’est une grammaire linéaire
- et le non terminal de la partie droite est le premier élément(à gauche) : A → Bc
Une grammaire linéaire a gauche permet représenter un langage rationnel (type 3)
ATTENTION pas de linéaire a gauche et a droite sinon pas rationnel
Qu’est-ce qu’une grammaire linéaire à droite ?
Une grammaire est linéaire a droite si
-c’est une grammaire linéaire
- et le non terminal de la partie droite est le dernier élément(à droite) : A → cB
Une grammaire linéaire a droite permet représenter un langage rationnel (type 3)
ATTENTION pas de linéaire a gauche et a droite sinon pas rationnel
Qu’est ce qu’une grammaire contextuelle ?
Qu’est ce qu’une grammaire non contextuelle (ou algébrique) ?