J'ajouterais d'ailleurs que définir son
propre formalisme pour résoudre un problème est très souvent une bonne chose, mais ce n'est pas à la portée d'un débutant.
D'ailleurs je viens justement de rédiger un papier pronnant un langage spécifique pour l'analyse statique dans un compilateur; mais je ne suis pas débutant en informatique, et mon domaine (tout relatif) d'expertise actuel est justement les langages (y compris leur sémantique) et l'analyse statique dans un compilateur.
Il faut juste savoir de quoi on parle quand on définit un formalisme. Ce n'est pas accessible à un jeune débutant en informatique (dit autrement, s'il faut 5 à 10 années d'étude pour devenir informaticien, ce n'est pas pour rien. Et c'est pareil pour la médecine, la physique, la mécanique, etc... Sur cette terre, les disciplines de connaissance sont complexes et demandent du métier.).
Pour revenir au problème du posteur initial Black_Syphilis [v]à mon avis ce pseudonyme est très laid[/v] (il ne l'a pas complètement dit, mais ça serait "écrire l'algorithme qui transforme un nombre entier de taille raisonnable en son énoncé en mots français"), ce posteur n'a pas besoin de définir son propre langage ou pseudo-langage à lui, et pourtant il écrit "
nous avons instauré une sorte de pseudo langage" et j'ai compris ce "nous" comme étant de modestie, donc à lire comme un "je", càd Black_Syphilis lui-même (décidément, je trouve toujours laid ce pseudonyme).
Il faudrait donc que le posteur initial Black_Syphilis reformule correctement sa question et énonce explicitement son problème. Ce faisant, il aura fait un grand pas vers la solution. Il m'importe peu qu'il passe ou non pas du pseudo code, ce qui est important, c'est qu'il comprenne de lui-même, et qu'il fasse comme on lui a enseigné de faire. Et définir la sémantique opérationnelle formelle de son pseudo-langage (qu'il aurait inventé lui-même) est bien plus complexe que résoudre juste le problème posé!
Voir aussi le livre de J.Pitrat
penser autrement l'informatique
D.Knuth, dans son livre
Things a Computer Scientist Rarely Talks About remarque que l'informatique requiert l'aisance de sauter rapidement d'un niveau d'abstraction à un autre.
----
Basile STARYNKEVITCH
Membre de l'
APRIL « promouvoir et défendre le logiciel libre » - adhérez vous aussi à l'APRIL!
Projet logiciel libre:
RefPerSys