conversion préfixé -> infixé d'une formule propositionnelle

fairy

Bonjour,

je cherche un algorithme faisant la conversion d'une formule propositinnelle écrite sous notation polonaise en notation infixé

est-ce que quelqu'un peut m'aider?

:S

GG

salut,

par récurrence,

si w est un connecteur unaire (¬ en fait), conv wA = w ( conv A ),
si w est un connecteur binaire, conv wAB = ( conv A ) w ( conv B ).

Pour déterminer A et B dans wAB, on peut utiliser le test de Lukasiewicz :

on parcourt l'assemblage wAB de gauche à droite et on fait la somme en comptant pour chaque signe, +1 pour un connecteur binaire, 0 pour un connecteur unaire, et -1 pour une variable prop.

wAB bien formée <=> compte = -1 à la fin de la formule et >= 0 avant.

Donc la fin de A est marquée par compte = 0.

fairy

J'arrive en retard pour dire merci

GG

no problem, en mathématiques, le temps n'existe pas

laura14

:S Je ne comprends rien et je cherche le tableau de préfixes. Je suis en 4ième (micro, méga, nao, pico, téra mais je ne trouve pas leurs conversions ?? :S

Merci de me répondre le plus rapidement possible, j'ai cours demain !!!

zeubé

idem