Langage K
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références »
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?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.
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é en 2003 par une équipe de maîtrise d'informatique de l'université de Nice Sophia Antipolis (inspiré du projet Kinterpreter)
- Langage obsolète
Article publié sur Wikimonde Plus
Portail de la programmation informatique
