Création d'un compilateur en C

Version imprimable

Bonjour à tous,
soit le programme suivant:
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 <PROG>::=DEBPGM<DECL><CORPS>FINPGM <CORPS>::=DEBINS<INSTS>FININS <DECL>::=DEBDECL<DECVARS>FINDECL <DECVARS>::=<DECVARS>,<DECV>|<DECV> <DECV>::=<ID>:<TYPE> <ID>::=#X<NBENTIER>|<ID>,#X<NBENTIER> <NBENTIER>::=<CHIFFRE>|<CHIFFRE><NBENTIER> <NBREEL>::=<NBENTIER>.<NBENTIER> <TYPE>::=<TYPES>|<TYPEC> <TYPES>::=entier|reel|caractere <TYPEC>::=TAB|string <TAB>::=tableau[<NBENTIER>]:<TYPES> <INSTS>::=<INS>;<INS>|<INS>|<INS> <INS>::<INS1>|FOR<EXPR1>TO<NBENTIER>DO DEBFOR<INS1>FINFOR <INS1>::=<ID>:=<EXP>|<ID>:=<CHAINE|echo(<CHAINE>)|<ID>++ <CHAINE>::="<CHARS>" <CHARS>::=<CHARS>|<CHARS><CHAR> <EXPR1>::=<ID>:=<NBENTIER> <EXP>::=<EXP><OP><T>|<T> <T>::=<ID>|<NBENTIER>|<NBREEL>|<ID>[<NBENTIER>] <OP>::=PLUS|MOINS|FOIS|DIV <CHAR>::=a|b|..|z|A|B|..|Z <CHIFFRE>::=0|1|..|9
Écrire un programme en C qui fait l'analyse lexicale de tout programme écrit selon la grammaire donnée précédemment ;
Fournir un document de conception relatif à votre analyseur et preciser vos choix d'implementation( structures de données, algorithmes mis en oeuvres...).

Je voudrais que quelqu'un m'aide à trouver une piste de solution pour résoudre ce problème car ça dépasse mes compétences.
Merci.

02/01/2012, 17h32
Obsidian

Bonsoir,

Est-ce que c'est un projet qui doit être réalisé à l'aide de Lex et Yacc (respectivement Flex et Bison chez GNU) ou, au contraire, pas du tout ?
02/01/2012, 18h46
neveah

Je n'ai aucune autre information concernant l'utilisation de Lex ou Yacc. Mais si cela peut aider je crois qu'on peut les utiliser.
puisqu'il est mentionné dans une question ""Fournir un document de conception relatif à votre analyseur"". Donc un analyseur est requis.
02/01/2012, 19h13
Obsidian

Citation:

Envoyé par neveah

Je n'ai aucune autre information concernant l'utilisation de Lex ou Yacc. Mais si cela peut aider je crois qu'on peut les utiliser.

C'est-à-dire que Lex & Yacc sont les outils historiques mais néanmoins très utilisés dans les écoles, et servant justement à écrire des compilateurs (YACC = Yet Another Compiler Compiler). Et ils produisent justement du code en C à partir d'une grammaire que tu établis. On les utilise soit quand on étudie les langages formels, soit quand on cherche justement à parser un fichier quelconque sans avoir à réinventer la roue à chaque fois (en gros, on file les règles d'interprétation à Lex et à Yacc, qui nous pondent ensuite un compilo en C qui les respecte).

Ça veut donc dire que dans ton cas, soit leur usage est obligatoire, soit il est interdit. Et comme tu ne les as apparemment pas vus en classe, je penche pour la deuxième option. Renseigne-toi auprès de ton prof'.

Citation:

puisqu'il est mentionné dans une question ""Fournir un document de conception relatif à votre analyseur"". Donc un analyseur est requis.

Mouais, dit comme cela, ça laisse plutôt à penser que c'est à toi de concevoir et d'écrire un analyseur syntaxique, puis à en fournir les spécifications sur papier à ton prof'. Ce n'est pas forcément très difficile en soi, mais ça peut être vraiment très long si tu débutes en C.

Hormis le côté programmation en lui-même, es-tu à l'aise avec les grandes lignes de ce genre de grammaire ? À commencer par la différence entre ses terminaux et ses non-terminaux ?