TP4, syntaxe abstraite
Bonjour,
Pour l'exercice 1.1, j'ai défini la syntaxe abstraite de Dalamb comme dans le cours et comme dans le TP3 :
<expr> ::= <nombre> | <lettre> | <expr><expr>
<lettre> ::= a|b|c|d|...
<nombre> ::= 1|2|3|4|...
Plus tard, je me suis dit que c'était également possible de le faire avec les arbres de preuves :
Ma méthode m'a pris énormément de temps, et mon code est également basé là-dessus, dois-je le modifier ?
Cordialement,
Nassim I.