[OCaml] décomposer un string

Bonjour à tous,
Je débute en caml et je dois dans le cadre de ma formation réaliser un "prouveur de formule"
cad si je lui envoi : (A => B) <=> (!A v B) il doit me renvoyer "valide"

Je suis au commencement mais déjà bloqué.
Je ne sais pas comment décomposer le string en éléments :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

type ensemble = | Variable of string | Et of ensemble*ensemble | Ou of ensemble*ensemble | Non of ensemble | Implique of ensemble*ensemble | Equivalent of ensemble*ensemble ;;   let rec transformation = function a "><" b -> Equivalent (transformation a) (transformation b) | a "-o" b -> Implique (transformation a) (transformation b) | a "&" b -> Et (transformation a) (transformation b) | a "+" b -> Ou (transformation a) (transformation b) | "!" a -> Non (transformation a) | a -> Variable a;;

---

Je vois bien que ce n'est pas la bonne méthode (a "><" b -> erreur) mais je ne trouve pas sur internet ( surement mes mots clé qui ne sont pas bon :/)

Si quelqu'un à un idée :roll:, merci beaucoup :)

ps : dans le code ci dessus ne prend pas encore en compte les parenhèses

Le plus simple c'est de ne pas commencer avec des string, mais directement des valeurs plus structurées: pour tester ton code, écrit des valeurs de type "ensemble" directement.

Passer d'une chaîne non structurée à une valeur de type ensemble est ce qu'on appelle "parser" les formules, et c'est quelque chose de difficile quand on ne l'a jamais fait. Si ta formation n'a pas traité spécifiquement ce point (ce qui n'a pas l'air d'être le cas sinon tu aurais une approche très différente), on ne s'attend pas à ce que tu le fasses toi-même.

Merci pour cette réponse rapide.

Citation:

---

on ne s'attend pas à ce que tu le fasses toi-même.

---

Bâ en faite... Si :aie:

Citation:

---

c'est quelque chose de difficile quand on ne l'a jamais fait

---

Pour les encouragement je repasserais xD
J'en ai déjà fait un mais pas en caml, je vais aller bouquiner tous ça en ligne.

Encore merci, je repasserais si j'ai des difficultés.

Bonsoir,

Je suis aussi de l'avis de Bluestorm.

Je pense que tu devrais concentrer tes efforts sur la résolution effective du problème qui t'es posé : le prouveur. Le parsing est une chose ingrate et pénible... tu pourras t'y coller après, quand le reste sera opérationnel.

Cordialement,
Cacophrène

@Cacophrene : je suis du même avis que toi, mais (il y a toujours un mais) je ne sais pas part ou commencer pour faire le prouveur :aie:
Donc je préfère avance sur le parser qui est "une chose ingrate et pénible" je confirme :aie:

« Bonjour, j'ai un projet à faire, mais comme je ne sais pas par où commencer j'ai décidé de faire autre chose qui est peut-être utile (... ou pas), mais qui n'a rien à voir et que je ne sais pas faire non plus. Vous pouvez m'aider ? »

Ce n'est pas en codant un parseur que tu vas magiquement comprendre comment coder le prouveur. Arrête de tourner autour du pot et attaque-toi à ce qu'on te demande vraiment.

Si tu tiens vraiment à continuer à coder un parseur, tant pis pour toi, voici des liens tirés du livre en ligne Développement d'applications avec Objective Caml :
- Applications : interprète basic
- Analyse lexicale et syntaxique

Le premier lien est sans doute à lire en premier, il utilise des méthodes plus simples mais aussi moins agréables à utiliser. Il vaut mieux le lire, le comprendre, et passer au deuxième pour la mise en pratique.

Citation:

---

Ce n'est pas en codant un parseur que tu vas magiquement comprendre comment coder le prouveur

---

J'en suis bien conscient ne t'inquiète pas ;), je sais très bien que se sont 2 fois différentes.

Citation:

---

j'ai décidé de faire autre chose qui est peut-être utile (... ou pas),

---

Nous sommes obligé de passer par un parseur.
1/ Notre prouveur sera testé en appelant un makefile : ./monMakeFile A -> B
2/ Le prof me la confirmé par mail

Citation:

---

Arrête de tourner autour du pot et attaque-toi à ce qu'on te demande vraiment.

---

Pour le moment on nous a juste fournie le sujet du projet sans plus d'explications. Elles arriverons plus tard en TP, TD ou cours.
Je prend juste de l'avance en attendant le prochain cours pour questionner le prof sur la mise en place du prouveur.

Merci pour les 2 liens, je vais les feuilleter :ccool:

ps : J'ai déjà avancé sur le parseur : Règle en place sur le papier et je pense utiliser camlp4o.cma qui n'a pas l'air trop compliqué après avoir regardé plusieurs exemples sur des calculatrices.

Edit :

Citation:

---

(*** Les prioritées ***)
variables ::= ('A'|...|'Z')+
exprNeg ::= '!' (pthVar|exprNeg)
pthVar ::= '(' (exprNeg | exprEt) ')' | variables
exprEt ::= exprOu ('&' exprOu)*
exprOu ::= exprImpEq ( '+' exprImpEq )*
exprImpEq ::= pthVar(('><'|'-o')pthVar)*

---

Les parseurs Camlp4 sont puissants et agréables à utiliser, mais mal documentés. Si tu as trouvé ce que tu cherches, tant mieux, mais sinon je te conseillerais plutôt la solution lex+yacc, plus standard (et donc en particulier tu pourras réutiliser cette expérience avec un autre langage de programmation). L'outil menhir peut être vu comme une amélioration de ocamlyacc, largement compatible, qui apporte des choses utiles tant pour l'écriture des grammaires que pour leur compréhension et débugage ensuite.

Bonsoir à vous,
J'ai finalement opté pour lex+yacc.
J'ai repris les exemples de calculatrices disponibles sur internet et ça c'est très bien fait :ccool:

Merci beaucoup pour vos suggestions

Citation:

---

Envoyé par Ivelios

J'ai finalement opté pour lex+yacc.

---

Je confirme ce que dis bluestorm, tu gagnerais à utiliser menhir. C'est un poil plus moderne que yacc quand même !