formalizuotoji kalba
formalizúotoji kalbà, bet kuri dirbtinė kalba, kuri turi abėcėlę bei loginę struktūrą ir kurios išraiškoms suteikta atitinkama prasmė. Formalizuotosios kalbos sintaksinės taisyklės nustato išraiškų sudarymo, vienų išraiškų gavimo iš kitų procedūras. Formalizuotosios kalbos semantinės taisyklės apibrėžia išraiškų ir jomis žymimų objektų santykius.