Discussion :

[WAKAKA]

Bonsoir,

Je suis entrain de faire un programme qui numerote les variables d'une formule ! exemple : AA /\ BB \/ CC => {A:1,B:2,C:3} !
l’entête de la fonction (récursive) : numerote ( formule , correspondance ).
formule est la formule dont on doit numéroter les variables
correspondance est la structure qui associe le nom de la variable à un numéro (un dictionnaire)

des idées pour commencer ?

[utopman]

Je pense que ton objectif n'est pas clairement énnoncé

[Sve@r]

Bonsoir,

Je suis entrain de faire un programme qui numerote les variables d'une formule ! exemple : AA /\ BB \/ CC => {A:1,B:2,C:3} !

des idées pour commencer ?

Salut

Ben commencer par nous expliquer comment toi tu numérotes tes variables !!! Ensuite suffira de l'expliquer à Python et ça on sait faire (mais je suis certain que quand tu nous l'auras expliqué tu sauras alors l'expliquer à Python)

Ce qui ce conçoit bien s'énonce clairement...(Boileau)

[WAKAKA]

Merci pour vos réponses,

Je dois numéroter les variables de la formule , afin de pouvoir représenter les littéraux par des entiers.
et pour ça je dois coder une fonction récursive numerote(formule,correspondance)

qui retourne correspondance (un dictionnaire qui contient les variables numérotés)

Exemple :
On a formule = A \/ B /\ C ( A ou B et C )
On doit avoir dans correspondance { A:1, B:2, C:3 }

Voila, j'espère avoir été assez clair

Merci d'avance

[fred1599]

Voila, j'espère avoir été assez clair

En ce qui me concerne non!

On a formule = A \/ B /\ C ( A ou B et C )

Que viennent faire ces \/ et /\ ici?

Peut-être une nouvelle notation, enfin je ne connais pas ce type d'opérateur, à moins que tu veuilles parler de vectoriel???

[WAKAKA]

Merci pour votre réponse fred1599,
Ces opérateurs sont prédéfinis :
# operateurs:
o_variable='var'
o_non='~'
o_et='/\\'
o_ou='\\/'
o_implique='=>'
o_equivaut='<=>'

un autre exemple :
si on a une formule : (p6 => (~ (p8 => p10))
on aura comme résultat un dictionnaire correspondance={ p6:1, p8:2, p10:3 }

[fred1599]

Une proposition simple pour trouver tes variables

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
>>> formule
'(p6 => (~ (p8 => p10))'
>>> ch = ""
>>> for i in formule:
	if i not in ["=", ">", "<", "~", "(", ")"]:
		ch += i
	else:
		ch += " "
 
 
>>> print(ch)
 p6        p8    p10  
>>> print(ch.split())
['p6', 'p8', 'p10']
>>>

Pour le dico en simplifiant

Code :

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

1
2
3
4
5
6
7
>>> dico = {}
>>> for i, j in enumerate(ch.split()):
	dico[j] = i + 1
 
 
>>> dico
{'p10': 3, 'p8': 2, 'p6': 1}

A toi de rassembler toutes ces idées pour construire un code propre et fonctionnant sur tout type de formules

[WAKAKA]

Merci fred1599
est ce que vous pouvez me donner une solution récursive s'il vous plaît ?

[fred1599]

Avec ce que je t'ai donné, tu crées ta fonction et tu la présentes sur le forum, on t'aidera par la suite, mais on est pas là pour faire tes devoirs

[Zavonen]

Tu trouveras ici des exemples d'analyse syntaxique de formules avec ou sans les modules lex et yacc.
http://gilles.dubois10.free.fr/Bases.../formules.html

[Sve@r]

Une proposition simple pour trouver tes variables

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
>>> formule
'(p6 => (~ (p8 => p10))'
>>> ch = ""
>>> for i in formule:
	if i not in ["=", ">", "<", "~", "(", ")"]:
		ch += i
	else:
		ch += " "
 
 
>>> print(ch)
 p6        p8    p10  
>>> print(ch.split())
['p6', 'p8', 'p10']
>>>

Salut

En partant de ton idée et en passant par les regex

Code python :

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

1
2
3
4
import re
f="(p6 => (~ (p8 => p10))"
re.compile("[=>~()]").sub(r"", f).split()
['p6', 'p8', 'p10']

Merci fred1599
est ce que vous pouvez me donner une solution récursive s'il vous plaît ?

Pourquoi faire du récursif quand l'itératif fonctionne ? Tu sais à quel point c'est lourd pour le processeur de faire du récursif ???