: betegnelse for de - konstruerede - sprog, som bruges i matematik, lingvistik og datalogi i modsætning til de naturlige sprog: dansk, swahili osv. Jf. programmeringssprog.
........................................................................................................................