Commentaires sur une source : ANALYSEUR LEXICAL SYNTAXIQUE ET SEMANTIQUE DE LA MÉTA GRAMMAIRE(GRAMMAIRE DES GR

sarah1nacera Messages postés 1 Date d'inscription vendredi 11 décembre 2009 Statut Membre Dernière intervention 13 décembre 2009
13 déc. 2009 à 00:59

si je veut faire un analyseur LR,comment doit je faire?

cs_Abdellah81 Messages postés 16 Date d'inscription samedi 27 mars 2004 Statut Membre Dernière intervention 26 juin 2007
18 juin 2004 à 21:26

Pour le speech je suis déssolais, mais j'ai pas assez d'argent pour travailler sur internet plus que 3 heures par semaine

cs_Patrice99 Messages postés 1221 Date d'inscription jeudi 23 août 2001 Statut Membre Dernière intervention 9 septembre 2018
16 juin 2004 à 08:38

Pour une intro simple sur les systèmes formels utilisant une grammaire formelle, voir :
www710.univ-lyon1.fr/~fouet/DEA/chap2.html

cs_Abdellah81 Messages postés 16 Date d'inscription samedi 27 mars 2004 Statut Membre Dernière intervention 26 juin 2007
15 juin 2004 à 20:25

Les Vt et les Vn sont des elements qui aide a la specification
des grammaires formellement.
Une grammaire est specifier par le quatriplet {Vn,Vt,Axiome,Regles}
Vn sont les etats
Vt sont le voccabulaire
Axime c'est l'etat initial
Regles C'est la description du language

Le flux d'entree du programme est un fichier dans lequel
est ecrit une specification de grammaire.
Comme sortie va vos dire si la specification est correct ou non.

Un example de fichier d'entre correct:
({A,B},{a,b},A,//A==>aA\B;B==>bB//)

Un example de fichier d'entre incorrect:

({A,B},{a,b,@},A,//A==>aA\B;B==>bB//):err lex (@ n'est pas accepte)

({A,B},{a,b},A,A==>aA\B;B==>bB//) :err syn (manque //)

({A,B},{a,b},A,//A==>aA\B;B==>bB\C//) :err sem (C n'est pas declare)

cs_Abdellah81 Messages postés 16 Date d'inscription samedi 27 mars 2004 Statut Membre Dernière intervention 26 juin 2007
15 juin 2004 à 20:25

Les Vt et les Vn sont des elements qui aide a la specification
des grammaires formellement.
Une grammaire est specifier par le quatriplet {Vn,Vt,Axiome,Regles}
Vn sont les etats
Vt sont le voccabulaire
Axime c'est l'etat initial
Regles C'est la description du language

Le flux d'entree du programme est un fichier dans lequel
est ecrit une specification de grammaire.
Comme sortie va vos dire si la specification est correct ou non.

Un example de fichier d'entre correct:
({A,B},{a,b},A,//A==>aA\B;B==>bB//)

Un example de fichier d'entre incorrect:

({A,B},{a,b,@},A,//A==>aA\B;B==>bB//):err lex (@ n'est pas accepte)

({A,B},{a,b},A,A==>aA\B;B==>bB//) :err syn (manque //)

({A,B},{a,b},A,//A==>aA\B;B==>bB\C//) :err sem (C n'est pas declare)

neo_00110010101 Messages postés 360 Date d'inscription samedi 27 septembre 2003 Statut Membre Dernière intervention 30 mai 2006
15 juin 2004 à 20:21

ben justement en parlant de ça, j'ai reçu 10 nouveaux emails cette après-midi dont 8 pour codes-sources juste pour cette source là !!!
C'est sûr que ça parle ici ^^

cs_Kirua Messages postés 3006 Date d'inscription dimanche 14 avril 2002 Statut Membre Dernière intervention 31 décembre 2008
15 juin 2004 à 20:16

ouéééééééééééééééééééé, une ovation (hey, faudrait qd même voir à ne pas exploser sa boîte mail avec tous les msg de rappel de cppfrance)

Funto66 Messages postés 1267 Date d'inscription mercredi 1 janvier 2003 Statut Membre Dernière intervention 28 février 2007 4
15 juin 2004 à 20:00

C'est vrai ça il dit rien Abdellah :'(

Saros Messages postés 921 Date d'inscription vendredi 20 décembre 2002 Statut Membre Dernière intervention 23 septembre 2010
15 juin 2004 à 19:27

Abdellah, le speech !
Abdellah, le speech !
:)

Cyberboy2054 Messages postés 173 Date d'inscription jeudi 20 décembre 2001 Statut Membre Dernière intervention 22 août 2008
15 juin 2004 à 10:51

J ai pas compris comment se servir de cette source, mais dans l idee c est trop bien ... javais trouvé une méga doc sur les parsers et la théorie des langages, la voila :
http://www.lrde.epita.fr/~akim/compil/th-langage.pdf
Mais c est assez chaud a exploiter (du moins avec un niveau 1ereS)

cs_Kirua Messages postés 3006 Date d'inscription dimanche 14 avril 2002 Statut Membre Dernière intervention 31 décembre 2008
15 juin 2004 à 09:48

j'ai du mal à croire qu'autre chose qu'un cerveau humain soit capable même d'élaborer des démonstrations mathématiques (surtout de ce genre!).

Enfin, les grammaires donc, c'est pour une vérification, pas pour une élaboration, juste?

cs_Patrice99 Messages postés 1221 Date d'inscription jeudi 23 août 2001 Statut Membre Dernière intervention 9 septembre 2018
15 juin 2004 à 09:42

C'est précisément l'objectif des grammaires formelles, sinon pourquoi est-ce que des types s'amuseraient à faire des trucs aussi rébarbatifs que ça :-)

Mais je crois qu'elles sont surtout utiles pour prouver qu'une démonstration ne contient pas d'erreur, élaborer une démonstration, ça c'est de l'IA beaucoup plus difficile.

cs_Kirua Messages postés 3006 Date d'inscription dimanche 14 avril 2002 Statut Membre Dernière intervention 31 décembre 2008
15 juin 2004 à 09:24

"démonstration automatique de théoremes"

Tu veux dire qu'il est possible de faire faire une démonstration mathématique à un ordinateur? Dy style prouver que la perpendiculaire commune à deux droites gauches est la distance la plus courte? Ça me paraît tellement improbable O_o

cs_Patrice99 Messages postés 1221 Date d'inscription jeudi 23 août 2001 Statut Membre Dernière intervention 9 septembre 2018
15 juin 2004 à 08:49

C'est un analyseur grammatical au sens de grammaire formelle, si j'ai bien compris, mais je ne sais pas si cela serait suffisant pour en faire un compilateur. En IA cela sert pour la démonstration automatique de théoremes je crois, cela sert pour vérifier si l'enoncé des théoremes est bien formalisé en accord avec la grammaire formelle, un peu comme la validation XML. Par contre, pour sémantique, ca me semble un peu exagéré tout de meme.

neo_00110010101 Messages postés 360 Date d'inscription samedi 27 septembre 2003 Statut Membre Dernière intervention 30 mai 2006
14 juin 2004 à 20:13

Je n'ai pas encore regardé le zip mais n'est-ce pas une IA de reconnaissance textuelle "tout simplement" ?
En sachant que je pense que cette source est un correcteur d'orthographe ...
Mais ce n'est peut-être pas ça du tout :)

cs_Kirua Messages postés 3006 Date d'inscription dimanche 14 avril 2002 Statut Membre Dernière intervention 31 décembre 2008
14 juin 2004 à 15:42

ah ouééé, c'est des outis pr écrire des compiloooooo ^^ on en a déjà parlé sur cppfrance.

Funto66 Messages postés 1267 Date d'inscription mercredi 1 janvier 2003 Statut Membre Dernière intervention 28 février 2007 4
14 juin 2004 à 15:23

J'ai pas téléchargé mais de ce que j'ai compris, c'est un prog du style de bison ou yacc qui permettent de créer un analyseur lexical et syntaxique à partir d'une grammaire décrite selon certaines règles (le LL(1) dont tu parles).
C'est bien ça?

Si un jour tu finis ton programme Abdellah je pense qu'il me servira ;)

cs_Kirua Messages postés 3006 Date d'inscription dimanche 14 avril 2002 Statut Membre Dernière intervention 31 décembre 2008
14 juin 2004 à 12:34

Bonjour,

tu pourrais expliquer ce que sont les Vt, Vn etc... comprends pas trop. Ton code vérifie qu'un code source C (?) est conforme aux règles syntaxiques de ce langage, c'est ça?

ANALYSEUR LEXICAL SYNTAXIQUE ET SEMANTIQUE DE LA MÉTA GRAMMAIRE(GRAMMAIRE DES GR

Votre réponse

Discussions similaires