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

Commentaire de Kirua le 14/06/2004 12:34:16

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?

Commentaire de Kirua le 14/06/2004 15:42:46

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

Commentaire de Patrice99 le 15/06/2004 08:49:19

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.

Commentaire de Patrice99 le 15/06/2004 09:42:34

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.

Commentaire de Cyberboy2054 le 15/06/2004 10:51:38

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)

Commentaire de Funto66 le 15/06/2004 20:00:12

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

Commentaire de neo_00110010101 le 15/06/2004 20:21:26

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 ^^

Commentaire de Abdellah81 le 15/06/2004 20:25:55

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)

Commentaire de Abdellah81 le 18/06/2004 21:26:29

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