- 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 FinInterpré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.
