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.
Citata
Nors buvo dedamos visos pastangos laikytis citavimo stiliaus taisyklių, gali pasitaikyti tam tikrų neatitikimų. Jei turite klausimų, prašome vadovautis atitinkamu stiliaus vadovu arba kitais šaltiniais.