Formalizēta valoda
Mūsdienu zinātnē un tehnikā lietota mākslīga rakstu valoda ar matemātiski precīzi formulētiem gramatikas uzbūves likumiem un ar vie nu vai vairākām iespejamām saturiskām interpretācijām.
Dažādus formalizēto valodu paveidus kopš XX gs. sākuma lieto matemātiskās loģikas teorētiskajos pētījumos. Liela praktiska nozīme ir formalizētajām valodām, kas radītas pēdējos gadu desmitos ESM programmēšanas vajadzībām - fortrans, algols, PL-1 u.c.