Merci pour ta réponse :king: (au pluriel)
- Non je ne te trouve pas sévère, il faut être clair sinon déjà que ce n'est pas évident de se comprendre
dans une même langue alors si on se donne des difficultés ... :P
- Oui je n'affecte pas un type à une variable (il était un peu tôt (ou tard) désolé)
- Quand je marque Init F(x) = F(2) je veux indiquer que l'algorithme commence par 2
quelquesoit x et F est le nom d'un algorithme.
Par exemple un algorithme utilisant des compteurs
Disons ALGO(i, j, T) ou i et j sont des entiers utilisés comme compteurs et T un Tableau.
Init ALGO(i, j, T) = ALGO(0, 0, T).
Donc l'appel de ALGO(v,w, T) donnera ALGO(0,0, T) quelquesoit v,w.
- Je ne distingue pas l'initialisation de l'affectation,
je montrais comment affecter à une valeur dans ma notation et l'initialisation est une obligation.
Au lieu d'écrire X:=2(pascal...) ou x=2(C...) ou ...
j'écris
MesConditions => MONALGO(x,y,...) = MONALGO(2, y, ...)
- Pour les & et les || je suis d'accord il est important de lire facilement et
donc il serait mieux venu d'écrire ET et OU directement.
- Pour l'arité, ce n'était pas le but ici.
On peut trés bien avoir un algorithme qui ne dépendent que d'une partie des données présentes d'où l'appel que j'ai fait !
Ce n'était peut-être pas bienvenue car effectivement on pouvait le voir aussi comme cela.
On peut tout aussi écrire (a>x) => G(x,a) = F(x, (a-x))
Merci encore...
P.S. : Avec cette méthode d'écriture j'ai appris à voir et calculer les complexités.
Puisque l'algorithme se retrouve à être une liste de
'Pour çà => l'algo(...) = l'algo(...)'
Je peux décelé le cas Max assez rapidement.
Peut-être que d'autres méthodes le font tout aussi mieux voire mieux ! (en tout cas j'ai appris dessus :D )