Discuter:Théorie des langages
Un article de Wikipédia, l'encyclopédie libre.
Juste pour signaler que cette page ne doit pas devenir un doublon de Langage formel, qui est bordélique mais contient pas mal de choses. Mais une partie du contenu de cette dernière aurait peut-être sa place ici. Je ne sais pas trop.
MM 25 oct 2004 à 17:19 (CEST)
Je propose l'ajout de l'article à la catégorie algèbre générale. Puisqu'un langage est un monoïde (plus précisément un sous monoïde du monoïde libre) -- Feeder Fan 14 mai 2006 à 23:14 (CEST)
[modifier] Grammaire
Le texte actuel contient la phrase suivante : La fonction associant l'alphabet au langage est appelée grammaire. Est-ce vrai ? Une grammaire n'est-elle pas reconnue par un automate à pile ? Est-ce qu'on ne se restreint pas à un sous-ensemble de langages ? Ban 22 août 2007 à 08:49 (CEST)
- Bonjour, les grammaire contextuelles ne peuvent pas être reconnues par des automates à piles si mes souvenirs sont bons ... Pour ce qui est de la phrase, elle n'est pas fausse à mon avis. Vous pensez à quoi quand vous parlez de sous-ensemble ? Les langages rationnels ? (cf. Hiérarchie de Chomsky). Feeder Fan 22 août 2007 à 12:56 (CEST)
- Je pense que dans la phrase de Ban, il y a une confusion entre deux objets qui peuvent être reconnus:
- les langages (ensembles de mots)
- les grammaires (procédés de génération).
- Les automates à pile reconnaissent les langages dit "hors contexte". Ceci dit, la phrase La fonction associant l'alphabet au langage est appelée grammaire. me parait, à moi aussi, correcte étant donné que le processus de génération d'un langage peut être très général. Pierre de Lyon 22 août 2007 à 13:32 (CEST)
- Si on veut être vraiment rigoureux, je pense qu'il faudrait démontrer (trouver cette démonstration) que tout langage peut être engendré par une grammaire. C'est au dessus de mes compétences. Feeder Fan 22 août 2007 à 17:48 (CEST)
- Il me semble que la question est plutôt « Qu'est-ce qu'une grammaire? » Il faudrait donc trouver une bonne définition acceptée par tous de ce qu'est une grammaire en général. Apparemment l'auteur de la phrase examinée voulait une définition plus générale que celle de l'article grammaire formelle. Je ne suis, moins non plus, pas compétent. Pierre de Lyon 23 août 2007 à 08:39 (CEST)
- Si on veut être vraiment rigoureux, je pense qu'il faudrait démontrer (trouver cette démonstration) que tout langage peut être engendré par une grammaire. C'est au dessus de mes compétences. Feeder Fan 22 août 2007 à 17:48 (CEST)
- Je pense que dans la phrase de Ban, il y a une confusion entre deux objets qui peuvent être reconnus:
[modifier] Alphabet
Je me suis permis d'annuler des modifications. L'un concernait la finitude de l'alphabet. En théorie mathématique des langages, il n'y aucune raison de décréter que l'alphabet est fini. D'autre part, étymologiquement un alphabet est composé de « lettres ». Si on ajoute « symbole », il faudrait peut-être aussi ajouter « glyphe », « caractère » et « graphème ». Pierre de Lyon 22 août 2007 à 13:40 (CEST)
