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