Version imprimable
J'hésite à m'immiscer dans une discussion proche où les gens contribuent, 'travaillent' sérieusement. J'ai peur d'être pris pour un provocateur, l'avocat du diable et de me faire lyncher. Je souhaiterais donc m'exprimer sur une discussion parallèle où chacun pourrait donner son point de vue pour et contre sans qu'on puisse faire état de "péché contre l'esprit".
Est-ce par rapport à ce forum http://www.developpez.net/forums/sho...d.php?t=221060 ?
Qu'est ce que tu entends pas harmoniser les notations ? Le thread parlait surtout d'harmoniser au sein du site. Est-ce la même chose pour toi ? Ou parles-tu d'une harmonisation mondiale ?
Pas du tout, je souhaite mettre en doute la démarche même consistant à instituer une normalisation pour la description des algorithmes, au niveau du site ou à quelque niveau supérieur.Citation:
Envoyé par millie
Ce que je dis ne regarde que moi.
Pour le site de DVP (et la FAQ) : c'est une bonne idée d'uniformiser les notations. Par exemple, dans la FAQ, si l'on passe d'un algorithme à un autre, avec pas du tout la même notation, ce n'est pas très sympas (surtout pour les débutants). Ce serait un peu comme écrire un cours avec des notations qui changent un peu tout le tps (une fois x<-v pour l'affectation, une autre foix x:=v).
A un niveau supérieur, je pense également que ce n'est pas vraiment bien de normaliser la notation. Un algorithme c'est juste une suite d'instructions compréhensibles par l'homme et permettant de résoudre un problème. Donc, si une notation est compréhensible, je ne vois pas pourquoi en favoriser une par rapport à une autre.
non, ca n'arrivera pas, notre précédente discussion fortement nourrie avait le mérite d'être constructive et argumentée, je n'ai vu aucune provocation et je ne t'ai pas considéré comme l'avocat du diable ...Citation:
J'ai peur d'être pris pour un provocateur, l'avocat du diable et de me faire lyncher.
Peux-tu développer s'il te plais ? Que voudrais-tu remettre en cause ?Citation:
Pas du tout, je souhaite mettre en doute la démarche même consistant à instituer une normalisation pour la description des algorithmes, au niveau du site ou à quelque niveau supérieur
Je ne vais pas répèter ce qu'à dis millie, l'essentiel est là : je voulais qu'on uniformise (et pas normaliser, nous n'avons pas de telles prétentions ...) les façons d'écrires les algos que ça soit dans les articles, la faq ou la page source. Le but recherché était de faciliter la lecture et la compréhension.
Le thread est ouvert à tous ;)Citation:
J'hésite à m'immiscer dans une discussion proche où les gens contribuent, 'travaillent' sérieusement.
Votre démarche, que je résume ainsi: "Que tout le monde parle la même langue", est naturelle. En outre elle est récurrente dans le domaine de l'informatique théorique, et elle n'a de mon point de vue, jamais été fructueuse.Citation:
Peux-tu développer s'il te plais ? Que voudrais-tu remettre en cause ?
Je ne vais pas répèter ce qu'à dis millie, l'essentiel est là : je voulais qu'on uniformise (et pas normaliser, nous n'avons pas de telles prétentions ...) les façons d'écrires les algos que ça soit dans les articles, la faq ou la page source. Le but recherché était de faciliter la lecture et la compréhension.
Il se trouve que je suis, comme on dit aujourd'hui un "senior". C'est un état présentant plus d'inconvénients que d'avantages, mais qui me permet simplement de parler de choses que j'ai vécues. Il ne s'agit pas de connaissances livresques. Cela dit, comme disent les chinois: "L'expérience est une lanterne que l'on porte dans le dos et qui n'éclaire que le chemin parcouru. Je n'essaierai donc pas de jouer au "vieux sage" et si possible, encore moins au "vieux con".
Au fait !
La première tentative que j'ai vécue, en matière d'uniformisation d'algorithmes (je situe cela, grosso modo pendant les 70) a été les "flow-charts", qu'on avait traduit par "organigrammes décisionnels" ou quelque chose comme ça. Vous devez quand même avoir entendu parler de ces jolis arbres avec boucles et tout et tout. Très décoratifs en vérité, et très envahissants. On en rit aujourd'hui, mais il fut un temps où, c'était la règle, on devait présenter tout traitement automatique de l'information sous cette forme. Je clos ici cette parenthèse historique, simplement pour illustrer que ce qui fut presque une religion, peut devenir après quelques décennies un sujet de plaisanteries.
L'éclosion des langages informatiques (début des sixties) correspond à la volonté de faire abstraction du matériel. On gagne donc un degré de liberté. Dès cette époque, on poursuit un premier mythe "Le mythe du langage universel". Le premier à avoir ce but avoué fut le PL1 d'IBM qui voulait faire la synthèse des deux ténors du marché qu'étaient à l'époque Fortran et Cobol. Puis il y eu ALGOL. ALGOL marque d'ailleurs une étape dans l'évolution des langages, il y a l'avant et l'après ALGOL. ALGOL est toujours le père spirituel d'une famille de langages essentiellement procéduraux, (PASCAL, ADA, pour ce citer que les plus connus, et d'autres aujourd'hui disparus LSE, etc...). ALGOL est aussi le père spirituel de la plupart des pseudo codes utilisés aujourd'hui pour la description d'algorithmes. La poursuite de ce mythe n'a d'ailleurs jamais vraiment cessé.
Très tôt les enseignants en algorithmique (c'est de mon point de vue une branche des maths applis) qui jusque là et depuis des millénaires exprimaient, avec un certain succès, leurs idées dans un langage naturel, sont tentés soit d'adopter purement et simplement un langage de programmation (confondant ainsi un algorithme et son implémentation) où d'inventer un formalisme à mi- chemin entre le langage naturel et les langages de programmation. La multiplication des langages, les renforce dans cette conviction de la nécessité de cette démarche. On voit donc fleurir les pseudo-codes (qui ne sont pour moi que des avatars d'algol), cette démarche continue aujourd'hui et toutes les tentatives d'unification, bien intentionnées, sont là pour le prouver, y compris au sein de ce forum.
Je développerai plus tard mon point de vue, selon lequel cette démarche est stérile, pour plusieurs raisons:
Le développement d'un formalisme fait immédiatemment retomber dans le piège des langages de programmation.
Cette démarche ne permet pas de prendre en compte, les nouveaux concepts et les nouvelles techniques de programmation.
Il faut faire le grand écart entre des abstractions mathématiques et leur piètres représentations dans la plupart des langages. Ce qui fait que de très beaux algos sont tout bonnement non implémentables. J'essaierai d'illustrer ce point par la suite avec des exemples simples.
C'est tout pour aujourd'hui.
Merci de réserver à mon initiative un accueil a priori non hostile.
oulà quelle réponse !
Je sens dans le ton un reproche, nous ne cherchons pas à formater la façon de penser. Libre est à chacun d'utiliser ce qu'il veut.Citation:
Votre démarche, que je résume ainsi: "Que tout le monde parle la même langue", est naturelle.
C'est dans le même esprit que nous essayons d'abstraire les langages de programmation.Citation:
L'éclosion des langages informatiques (début des sixties) correspond à la volonté de faire abstraction du matériel. On gagne donc un degré de liberté.
L'idée était surment de faciliter les communications et les échanges. En fait de mon point de vue, si tout le monde parle un langage différent on rencontre beaucoup de difficulté pour échanger. A titre d'exemple, là où les esprits divergent, c'est le cas particulier de l'affectation, certain utilisent la fleche, le deux points égal, le simple égal, ...Citation:
Très tôt les enseignants en algorithmique (c'est de mon point de vue une branche des maths applis) qui jusque là et depuis des millénaires exprimaient, avec un certain succès, leurs idées dans un langage naturel, sont tentés soit d'adopter purement et simplement un langage de programmation (confondant ainsi un algorithme et son implémentation) où d'inventer un formalisme à mi- chemin entre le langage naturel et les langages de programmation.
Je comprend la chose.Citation:
Cette démarche ne permet pas de prendre en compte, les nouveaux concepts et les nouvelles techniques de programmation.
Tu sais que ça ne sera pas le cas, si tu avais senti la moindre hostilité de ma part ou d'une autre personne, ça n'était pas le but recherché.Citation:
Merci de réserver à mon initiative un accueil a priori non hostile.
Pour en revenir au formalisme, ce que je voudrais dire c'est que nous n'essayons pas de cantoner les gens dans des carcans. Ce que nous voulons c'est trouver une syntaxe ou pseudo syntaxe qui puisse répondre à nos besoins tout en étant reconnu et compréhensible par tous. Si en plus certain pouvaient suivre nos remarques ça serait un plus.
Si tu veux, c'est un peu une analogie au design du site. On essaie de garder une certaine uniformité dans les articles : les titres sont formatés de la même façon, les codes ont le même encadré ... . Si tout le monde avait fait une page sur un style différent, ça serait devenu très rapidement un grand bazar. Néanmoins, certains ont des pages plus ou moins différentes, mais les différences sont assez légères qu'elles n'entraînent pas de changement majeurs et ne sont donc pas si remarqués que celà.
Encore une fois, nous n'essayons pas de produire une norme, pas de certification, seulement essayer d'avoir des méthode d'écritures assez ressemblantes pour ne pas avoir à passer trop de temps à déchiffrer les algorithmes.
Merci pour tes remarques.
En fait, c'est vrai que l'algorithmique sert souvent pour représenté un langage de type impératif, ou un mélange impératif/fonctionnel et n'est pas fait pour un autre.Citation:
Envoyé par Zavonen
Rien que la vague définition que j'ai donné (qui correspond à : Une suite d'instruction), utilise le terme instruction qui n'existe ni dans les langages purement fonctionnel, ni dans les langages de programmation logique.
Il y a également d'autres types de programmation qui ne sont même pas implantable en machine actuellement (je pense par exemple à des programmes censés tournés sur des ordinateurs quantiques) (on peut simuler cela dit).
Il est vrai que ce point là est intéressant. A part la chose que l'on est en train d'écrire. On essaye souvent de décrire les objets utilisés en terme de type ABSTRAIT de donnée (donc, un type qui n'a pas d'implémentation réelle). C'est une qualité importante des algorithmes, l'abstraction de types. J'avais donné la définition de ça avec l'exemple de la pile dans le forum ici en utilisant uniquement des propriétés mathématiques dessus (on ne dégage donc aucune implémentation, mais pourtant, c'est parfaitement défini).Citation:
sont tentés soit d'adopter purement et simplement un langage de programmation (confondant ainsi un algorithme et son implémentation)
EDIT :
Dès que l'on fait des sauts entre différents type de programmation (fonctionnel à impératif (c'est bien faisable), impératif à fonctionnel, impératif à logique...), ce n'est jamais évident. En fait, comme il y a pas mal de théorie en compilation sur comment passer en langage impératif, le passage X => impératif est souvent le plus simple. Mais impératif => X n'est pas rigolo du tout.Citation:
Ce qui fait que de très beaux algos sont tout bonnement non implémentables.
Et quantique à impératif n'est même pas possible :aie:
Je vois avec plaisir, que les "piliers" du forum que sont millie et PRomu@ld acceptent de participer à ce débat, bien qu'ils soient plus ou moins engagés dans une initiative, disons contradictoire. C'est encourageant ! Je les en remercie et j'espère qu'ils seront ultérieurement rejoints par des membres, des visiteurs quel que soit leur avis sur la question.
Je reprendrai, un peu plus tard, quelques arguments particulièrement intéressants qui ont été développés, et qui, j'en ai l'impression apportent de l'eau à mon moulin.
Je me contenterai pour l'instant de mettre l'accent sur le point suivant:
Reprenez le fil "Notation en algorithmique", message après message. On y discute de la déclaration des fonctions, des procédures, notation de l'affectation, utilisations des pointeurs, etc.. etc..
Bref, il s'agit ni plus ni moins de la reconstruction d'un langage (j'allais dire de programmation...). C'est un long travail ! De mon point de vue pas spécialement intéressant car parsemé de discussions bizantines:
Doit-on noter l'affectation avec <- ou bien avec := ou bien simplement = ? On sait fort bien que ces trois notations coexistent depuis toujours.
Qu'aura-t'on obtenu au final ?
Dans le meilleur des cas donc, un formalisme ressemblant comme deux gouttes d'eau aux langages procéduraux de la lignée Algol.
Il voudra s'en distinguer par deux caractéristiques:
Pas d'interprète ni de compilateur (toute exécution directe du code est donc exclue).
Les types utilisés correspondent à des entités mathématiques (entiers, réels, etc...) sans considération pour les limitations des types de base des différents langages et leur codage.
Le code ainsi produit, veut donc atteindre à l'universalité.
Est-il pour autant plus lisible qu'un véritable code (programme) équivalent? Je ne le crois pas.
Par ailleurs, il faudra tôt ou tard essayer l'algo, donc le traduire dans un langage pratiqué. Et là les mauvaises surprises risquent d'arriver très vite, pour différentes raisons:
Parce que le langage utilisé est très loin, dans son esprit d'un langage procédural (PROLOG, SMALLTALK, ou même ce bon vieux LISP).
Parce que dans tout système connu la représentation des réels est si approximative et si mauvaise que l'expression
a - a*b/b n'est presque jamais vraie !
Voilà donc le premier volet de mon argumentation. Une dépense d'énergie importante pour finalement rien de bien nouveau.
J'espère trouver le temps dans les jours qui suivent de développer d'autres arguments.
J'ai du mal à voir où tu veux en venir.
Nous ne sommes pas des piliers du forum. D'ailleurs cette phrase est à double sens ...Citation:
Je vois avec plaisir, que les "piliers" du forum que sont millie et PRomu@ld acceptent de participer à ce débat
Je t'arrête tout de suite, comme je l'ai dis déjà deux fois, nous n'essayons pas de créer un langage, pas de créer une norme, rien de tout ça.Citation:
Reprenez le fil "Notation en algorithmique", message après message. On y discute de la déclaration des fonctions, des procédures, notation de l'affectation, utilisations des pointeurs, etc.. etc..
Bref, il s'agit ni plus ni moins de la reconstruction d'un langage (j'allais dire de programmation...). C'est un long travail ! De mon point de vue pas spécialement intéressant car parsemé de discussions bizantines:
Nous ne cherchons pas à développer un langage, pas d'application, la question d'un interpréteur et/ou d'un compilateur n'était nullement d'actualité et pour ma part ne le sera jamais.Citation:
Pas d'interprète ni de compilateur (toute exécution directe du code est donc exclue).
Est-ce une allusion à notre premier échange ?Citation:
Les types utilisés correspondent à des entités mathématiques (entiers, réels, etc...) sans considération pour les limitations des types de base des différents langages et leur codage.
Pour ce qui est de cette remarque, elle n'a pas de sens, en algorithmique (qui n'est qu'une branche des mathématique comme tu l'as dis), les limites de types ne représentent pas quelque chose d'important, c'est l'implémentation qui se chargera de vérifier que l'on peut utiliser tel ou tel type. Il en va de même pour les allocations mémoires, elles n'ont pas lieu d'être dans un algorithme puisque c'est une chose qui dépend du langage que l'on utilisera dans les applications.
Je l'ai déjà dis : le thread que j'ai lancé n'était pas ce but, personne n'y prétendait. Et je ne vois pas ce qui t'y as fait penser.Citation:
Le code ainsi produit, veut donc atteindre à l'universalité.
Absolument pas. Tous les systèmes de calculs formels permettent ce genre de simplification. De même, l'imprécision des calculs n'est pas du ressort de l'algorithmique. Enfin, les calculs effectués sur les flotants peuvent être (et doivent) être effectués à des epsilon près dans les langages n'utilisant pas de calculs formels.Citation:
Parce que dans tout système connu la représentation des réels est si approximative et si mauvaise que l'expression
J'ai peur comme je l'ai dis au tout début de ma réponse que tu t'embarques dans une argumentation et un débat qui n'a pas été posé. Encore une fois, nous n'avons pas eu la prétention de vouloir créer quelconque langage ou norme.
Ca me paraît être une interprétation erronée de la démarche entreprise...Citation:
Envoyé par Zavonen
Pour lire pas mal de publications scientifiques, il me semble que le pseudo-code côtoie le langage naturel en parts égales pour la description d'algorithme. Mais ils ne décrivent pas les mêmes catégories d'algorithmes, et ne répondent pas à la même démarche didactique. Quand il s'agit d'introduire un nouveau concept ainsi que les algorithmes afférents, le langage naturel paraît plus adapté (exemple : RTree) ; par contre, pour des algorithmes sur des concepts déjà éprouvés et ne portant donc que sur l'amélioration d'algorithmes existants (exemple : Quick-sort), le pseudo-code est de mise. Dans le premier cas, l'objectif principal est de présenter le concept, on reste donc à un niveau d'abstraction assez élevé ; dans l'autre, on porte l'attention à un niveau plus technique, et on est plus proche de l'implémentation.
A partir du moment où l'objectif déclaré est d'ordre pratique, c'est à dire une implémentation directe ou presque, je ne vois donc pas le mal à employer du pseudo-code.
Pour les langages fonctionnels, il me semble que le pseudo-code type Pascal tout comme le langage naturel sont problématiques. Quant à Prolog, n'en parlons pas, c'est pire...Citation:
Envoyé par Zavonen
Juste une petite mise au point avant de commencer:
Même avec beaucoup d'imagination, je ne vois pas quel peut être le sens 'caché'... Pour moi "pilier = qui soutient" point barre. Je me base uniquement sur le nombre de posts affiché pour affirmer que vous soutenez le forum.Citation:
Nous ne sommes pas des piliers du forum. D'ailleurs cette phrase est à double sens ...
Revenons à nos moutons. L'algorithmique, n'est pas (et n'a jamais été) une science "française". La contribution de nos chercheurs est marginale (à preuve, combien d'algos contemporains portent des noms "bien de chez nous"). Je n'en trouve aucun ... La raison est certainement complexe car les français réussisent bien dans d'autres domaines scientifiques. Elle est peut être culturelle, nos compatriotes sont trop tournés vers la théorie et ils manquent de sens pratique.
Voyons donc ce que font les américains dans leurs plus prestigieuses universités:
Commençons par le fameux M.I.T. Je cite l'ouvrage de référence "Introduction to algorithms" de Thomas Cormen, Charles Leiserson et Ronal Rivest. Ce bouquin est traduit en français sous le titre "Intoduction à l'algorithmique". C'est un pavé de plus de 1000 pages paru chez Dunod en 1994. Vous pouvez ajouter ce titre à votre biblio s'il n'y figure déjà.
Les auteurs ont choisi d'utiliser un pseudo code. Pour ce qui concerne la définiton du pseudo-code l'affaire est disons 'torchée' en un paragraphe d'une page (en 8 points) intitulé "Conventions concernant le pseudo-code. Je pourrais, si vous n'avez pas le document sous la main, vous envoyer un scan. Et ils ajoutent: "Parfois la méthode la plus claire est le langage naturel, ne vous étonnez donc pas de voir une phrase en français insérée dans une section de code 'réel' ". On ne peut pas faire plus souple.
Voyons maintenant Princeton.
Robert Sedgewick, directeur du département info, comme bon nombre de ces collègues (Patrick Henri Winston et autres) préfère utiliser un langage support, et il a choisi le 'C' parce que très populaire dans la communauté des programmeurs. Il a donc écrit "Algorithmes en langage C", un autre bouquin très intéressant également traduit chez Inter-Editions (Addison Wesley Europe), et que vous pouvez aussi ajouter à la biblio si ce n'est fait. Le langage C évolue, qu'à cela ne tienne, le même auteur publie "Algorithmes en C++" où il tire partie des nouvelles possibilités pour rendre les choses plus claires. Naturellement Sedgewick, comme il précise lui-même, refuse d'exploiter les particularités du 'C'. On peut donc utiliser un langage support pour peu qu'on refuse d'entrer dans les spécialisations et de publier du code optimisé, presque toujours parfaitement illisible.
En résumé, les Etatsuniens n'ont pas peur de coder directement dans un langage réel, et quand ils décident de s'en affranchir ils le font de façon très 'light'.
A méditer ...
Ce concept apparaît à la fin des 70 et favorise l'apparition des langages dits "orientés objets".
(Voir l'article de millie 'forum Q/R à intégrer dans les FAQ'.) La plupart des langages modernes appartiennent à cette famille, mais ils gardent un aspect procédural car ils sont en fait des hybrides résultant de la migration des langages classiques par addition d'une "couche objet" (C++, Java, C#, Python, Object Pascal, etc…).
L'algorithmique peut elle ignorer cette tendance ?
En programmation procédurale classique on pense en termes de traitement, de boucles imbriquées, de tests d'affectations, etc…En P.O.O. on pense en termes d'objets (de types de données).
Que prévoient les pseudo codes classiques ?
Généralement la possibilité de construire des types structurés par agrégation de types primitifs (record ou struct). La notion de "méthode" n'existe pas, mais on peut parfaitement se contenter d'écrire des fonctions spécialisées manipulant les structures.
Quels objets sont indispensables en algorithmique contemporaine?
Tous les types de collections (tableaux dynamiques, dictionnaires, etc..)
Tous les types de données dynamiques (listes, arbres ec….)
Dynasets pour l'accès aux B.D.
J'en passe !!!
Que faire pour décrire un algorithme 'moderne' utilisant ces concepts?
La méthode classique: Redéfinir les listes chaînées et les méthodes (ajouter un élément en tête, en queue, le retirer, etc…). Une fois de plus on réinvente la roue !
Ou alors adopter une hiérarchie de classes existante:
MFC pour les copains de Bill
wxwidgets (multi-plateformes, multi-langages – ex wxwindows)
Où encore les objets java prêts à l'emploi.
Au choix !
Quel formalisme choisir ?
C'est à mon avis le vrai nouveau défi pour le formalisme de type 'pseudo-code', mais les initiatives sont bien peu nombreuses.
Voici, quelles sont, à mon avis les vraies questions.
Il est préférable de réfléchir dans cette direction plutôt que de choisir entre trois notations concurrentes pour l'affectation ou bien de décider si on doit souligner les mots clefs ou bien les écrire en gras ou en capitales.
Pour moi, la notion de type abstrait est à peu près équivalent à la notion d'objets (le polymorphisme et l'héritage étant moins bien perçu pour les types abstraits). Au passage, on peut faire de la programmation objet en C et de la programmation non objet en C++ grâce à cet approche.Citation:
Envoyé par Zavonen
Les types abstraits sont encore plus puissants, car on peut les définir sans avoir de code (un peu comme les interface en java) mais sont définis quand même (en utilisant les axiomes, ou même des mots en français).
Maintenant, rien n'empeche d'écrire les opérations du type sous la forme de méthodes, mais ceci implique de choisir une notation (notation pointée à la java, ou notation à la smalltalk). Mais il peut souvent suffir de l'indiquer, ce n'est pas vraiment problèmatique.
J'ai déjà vu du pseudo-code qui utilise des types abstraits (avec une notation objet), sans forcement à avoir à définir le code de l'objet.
Normalement, un type absrait ne va pas être défini par son code. C'est une implémentation POSSIBLE pour un langage procédural/objet qui est proposé.Citation:
En programmation procédurale classique on pense en termes de traitement, de boucles imbriquées, de tests d'affectations, etc…En P.O.O. on pense en termes d'objets (de types de données).
Que prévoient les pseudo codes classiques ?
Généralement la possibilité de construire des types structurés
par agrégation de types primitifs (record ou struct).
Ici, on a affaire à des types abstraits. Ca ne sert à rien de les définir par du code. On peut aller plus loin que ça, on peut même dire que ça ne sert à rien de les définir par des axiomes, on peut juste l'expliquer par des mots français. Ca sera à la personne qui souhaitera effectivement implanter son algorithme dans un langage qui devra déterminer une implémentation (objet, fonctionnel ou procédural).Citation:
Quels objets sont indispensables en algorithmique contemporaine?
Tous les types de collections (tableaux dynamiques, dictionnaires, etc..)
Tous les types de données dynamiques (listes, arbres ec….)
Dynasets pour l'accès aux B.D.
J'en passe !!!
Que faire pour décrire un algorithme 'moderne' utilisant ces concepts?
La méthode classique: Redéfinir les listes chaînées et les méthodes (ajouter un élément en tête, en queue, le retirer, etc…). Une fois de plus on réinvente la roue !
Détacher l'implémentation permet de s'abstraire de problème secondaire lié à un problème particulier. Tout ceci dans le but de simplifier au maximum la compréhension de la manière de résoudre un problème.
Par exemple, un code de Promu@ld :mrgreen: sur les arbres :
On utilise l'arbre en terme d'objet ici.Code:
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
Maintenant, écrire sous la forme, c'est un peu pareil :
Code:
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
A mon avis, il va faudrait adopter une notation par formalisme de programmation.Citation:
C'est à mon avis le vrai nouveau défi pour le formalisme de type 'pseudo-code', mais les initiatives sont bien peu nombreuses.
Pour tous les langages dérivés du lambda-calcul, il faudrait avoir une notation qui fasse principalement ressortir les définitions de fonctions et leurs applications.
Pour les langages dérivés des machines de turing (et machine RAM), il faudrait avoir un formalisme qui mette en oeuvre les itérations, affectation/lecture.
Mais cependant, ceci est vraiment bas-niveau (trop d'instructions proches du paradigme de programmation).
Il faut alors adopter des notation qui mettent en oeuvres des techniques plus évoluée. On aura alors les TAD, la Prog Objet (quoique je ne ferai pas de distinction aussi poussée entre TAD et OO)
Mais alors, on va parfois allez peut-être trop loin dans les notation qui vont alors ressembler à s'y méprendre aux langages.
Je pense qu'il faut donc limiter le pseudo-code jusqu'à une certaine limite et peut-être à un paradigme de programmation.
Mais il faut faire attention à ne pas prendre le problème à l'envers : ce ne sont pas les langages qui doivent "modeler" le pseudo-code.