Discussion :

[ludovic.fernandez]

Voici une proposition de grammaire normalisée sous forme de Greibash.
Elle prend en compte un certain nombre d'éléments tels que les fonctions.

Exemple: F(sqrt(int(e^(a+b))+sum(x)),sqrt(int(ln(a-b)+prod(y))))

Expression ::= Expr
Expr ::= Trm ExprSeq
ExprSeq ::= OpAdd Trm ExprSeq | Vide
OpAdd ::= '+' | '-'
Trm ::= Fctr TrmSeq
TrmSeq ::= OpMul Fctr TrmSeq | Vide
OpMul ::= '*' | '/'
Fctr ::= Sc FctrSeq
FctrSeq ::= '^' Fctr | Vide
Sc ::= Atome | Tfunc | '(' Expr ')' | '[' Expr ']' | '{' Expr '}'
Atome ::= Var | Number
Tfunc ::= Var '(' Seqc ')'
Seqc ::= Vide | ESeqc
ESeqc ::= Expr (Vide |, E)
Number ::= Signe NDecimal NVirgule NExposant
Signe ::= opAdd | Vide
NDecimal ::= CDecimal NDecimal'
NDecimal' ::= CDecimal NDecimal' | Vide
CDecimal ::= '0' | ... | '9'
NVirgule ::= ('.'|',') NDecimal | Vide
NExposant ::= 'E' Number | Vide

Il suffit ensuite de générer un postfix par applatissement de l'arbre des données. J'ai le code en Haskell s'il faut.

EDIT: Var pour variable, en ensemble de lettres tq. COS ou F
Ludo

[Trap D]

Ludo>> Il manque la définition de RMath et de Var
Pas compris ça

ESeqc ::= Expr (Vide |, E)

[ludovic.fernandez]

Merci Trap D pour la remarque, j'ai réédité la grammaire. Par contre, je recherche encore ce que j'ai voulu écrire par la déf. de ESeqc

A priori, ESeqc ::= Expr (Vide | ',' ESeqc) puisque mon code est le suivant :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
 
seqc = (eseqc >>= \e -> return e) # return Vide
 
eseqc = expr >>= \e -> esecqcc e >>= \f -> return f
 
esecqcc e = (lit Comma >> eseqc >>= \f -> return (Noeud (C ",") e f)) #
	    return e

[Trap D]

Oui, j'en étais arrivé à cette conclusion en réfléchissant à tête reposée.
Pour lire des choses du style "f(x,y,z)"

[ricardvince]

bon finalement j'ai fait des fonctions d'evalution pour chaque operateurs en commencant par le prioritaire (ie les parenthese) suivi de la multiplication....
j'aurais bien aimer le faire en utilisant des piles mais il me rester trop peu de temps pour le realiser de la sorte
merci a tous pour votre reflexion...
vince