語言成分的固有含義,亦即與言語情景(見語用)無關的含義。在程式設計語言中,語言成分的語義就是該語言成分在程式執行中所起的作用。以語義為研究物件的學科稱為語義學。語義具有如下基本特性:①固有性:語義反映的含義是固有的,與言語情景無關。②靜態性:語言成分的語義一般是在編譯時刻可以確定的。③一元性:語義可視為語言成分的一元函數。語言成分的語義一般是用自然語言刻畫的,用數學方法特別是用形式體系刻畫的語義稱為形式語義。按刻畫方法不同,還有操作語義、指稱語義、公理語義代數語義等。