Dictionnaire breton des sciences et des techniques

informatique , mathématiques ◊ langage formel servant à décrire un ou plusieurs langages de programmation