[OCaml] décomposer un string

**Ivelios** · 07/01/2011, 19h23

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 :

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

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

, merci beaucoup

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

**gasche** · 07/01/2011, 19h33

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.

**Ivelios** · 07/01/2011, 19h44

Merci pour cette réponse rapide.

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

Bâ en faite... Si

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.

**Cacophrene** · 07/01/2011, 19h47

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

**Ivelios** · 07/01/2011, 22h24

@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

Donc je préfère avance sur le parser qui est "une chose ingrate et pénible" je confirme

**gasche** · 08/01/2011, 11h02

« 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.

**Ivelios** · 09/01/2011, 14h51

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.

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

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

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 :

**gasche** · 09/01/2011, 17h04

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.