Langage K

Langage K

Le langage K est un langage d'abstraction des concepts de l'informatique, un langage de formalisation des structures de données et un langage d'approche mathématique et théorique de la programmation.

Présentation

Langage d'enseignement, il permet d'aller au-delà des distinctions de tout type (langage de programmation, déclaration de type, mots-clés par sa syntaxe extrêmement pauvre).

Ce langage étant à vocation pédagogique, il n'existe pas de notation stricte de langage. Néanmoins, une norme a été définie à l'adresse libe4.free.fr.

Ce langage ne permet d'effectuer que des modifications sur des nombres, des listes ou des tableaux, son intérêt est de voir la trace des algorithmes écrits.

Un programme K se divise par fonctions définies récursivement. Elles sont constituées de cas, autrement dit des conditions suivies d'un rendu de résultat.

Exemple

Déterminer la valeur maximum d'un tableau :

Initialisation MAXIMUM(T, i, n, max)=  MAXIMUM(T, 2, |T|, T[1])
Différents cas i ⇐ n ^ T[i] >  max ⇒ MAXIMUM(T, i, n, max) = MAXIMUM(T, i + 1, n, T[i])
               i ⇐ n ^ T[i] ⇐ max ⇒ MAXIMUM(T, i, n, max) = MAXIMUM(T, i + 1, n, max)
               i >  n               ⇒ MAXIMUM(T, i, n, max) = max
Fin

Interpréteurs

Plusieurs interpréteurs existent :

  • K Teach Algorithmics (Algorithmique d'apprentissage par K.), développé par une équipe de maîtrise d'informatique (reprenant le projet Kinterpreter)
  • EKzecuteur, un projet très primitif

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Langage K de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • langage — [ lɑ̃gaʒ ] n. m. • v. 1160; lengatge v. 980; de langue I ♦ 1 ♦ Fonction d expression de la pensée et de communication entre les hommes, mise en œuvre au moyen d un système de signes vocaux (parole) et éventuellement de signes graphiques… …   Encyclopédie Universelle

  • langage — Langage, Sermo, Oratio. Un bon langage, Pura oratio. Un langage commun et vulgaire, Proletarius, vel Plebeius sermo. Langage coulant, qui n a pas grand ornement, Teres oratio. Un langage coulant qui n est point lié par vers, Prosa. Un langage… …   Thresor de la langue françoyse

  • langage — Langage. s. m. Idiome. Langue que parle une Nation. Le langage des Turcs. le langage Persan. personne n entend ce langage. un langage Barbare. un langage inconnu. il entend la pureté du langage. On dit, que La Poësie est le langage des Dieux. Il… …   Dictionnaire de l'Académie française

  • Langage — (frz.) bezeichnet bei Ferdinand de Saussure einerseits die menschliche Rede als allgemeinen, vortheoretischen Oberbegriff zu langue (dem Regelsystem der Sprache) und parole (der Ausübung des Sprechens); andererseits und zur Unterscheidung… …   Deutsch Wikipedia

  • langage — langage, ed obs. forms of language, ed …   Useful english dictionary

  • Langage C — C (langage) Pour les articles homonymes, voir C. C …   Wikipédia en Français

  • Langage c — C (langage) Pour les articles homonymes, voir C. C …   Wikipédia en Français

  • langage — (lan ga j ) s. m. 1°   Proprement, emploi de la langue pour l expression des pensées et des sentiments. Recherches sur l origine du langage. •   Le langage est tellement ce qui perfectionne toutes les facultés de l âme que la perfection de ces… …   Dictionnaire de la Langue Française d'Émile Littré

  • LANGAGE — s. m. Emploi que l homme fait des sons et des articulations de la voix, pour exprimer ses pensées et ses sentiments. On a publié de nombreux écrits sur l origine du langage.   Il se dit, par extension, Des cris, du chant, etc., dont les animaux… …   Dictionnaire de l'Academie Francaise, 7eme edition (1835)

  • Langage —  Pour l’article homonyme, voir Langage humain.  Le langage est un ensemble de signes (vocaux, gestuel, graphiques, tactiles, olfactifs, etc.) doté d une sémantique, et le plus souvent d une syntaxe (mais ce n est pas systématique[1]).… …   Wikipédia en Français

  • Langage C++ — C++ Apparu en 1985 (dernière révision en 2003) Auteur Bjarne Stroustrup …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”