語義系統由若干語義學規則組成,這些規則可能與某種歷史地形成的語青有聯繫,也可能沒有聯繫,而是自由地構造出來的。一個語義系統的規則的構成,不外是相對於這個語義系統而言給某些語義學概念所下的定義。純粹語義學就是由這種定義以及從它們中推出的結論所組成。
相關詞條
-
語義學
語義學是指符號學分支之一。關於符號或語言符號(語詞、句子等表達式)與其所指對象關係的學科。美國莫里斯在提出語形學、語義學和語用學的區分時,認為語義學是對...
概念 分支 研究傳統 研究重點 主要理論 -
公理語義學
形式語義學的一個分支。不同的人在了解程式的含義時有不同的要求。公理語義學方法就是研究如何將這些不同的要求形式化,並根據這些要求嚴格給出程式設計語言的有關語義。
公理語義學 正文 配圖 相關連線 -
操作語義學
操作語義學是形式語義學的一個分支。程式設計語言的實施是在具體的計算機系統中按照語言的語義編制語言的翻譯程式,將語言中各個成分翻譯成計算機系統中相應的一組...
操作語義學 正文 配圖 相關連線 -
代數語義學
代數語義學是形式語義學的一個分支,用代數方法研究計算機語言的語義。
代數語義學 -
形式語義學
形式語義學(formal semantics),是程式設計理論的組成部分,以數學為工具,利用符號和公式,精確地定義和解釋電腦程式設計語言的語義,使語義...
簡介 發展歷程 分類 發展形式語義學的迫切性 -
指稱語義學
形式語義學的一個分支。人們用程式設計語言編製程序,命令計算機系統去加工數據。不同的計算機系統有不同的結構,因此對同一個命令的執行過程可以不同,但最終效果...
簡介 歷史情況 基本方法 -
俄羅斯當代語義學
俄羅斯當代語義學是一個公認的成就斐然的語言學領域。
基本信息 出版信息 內容簡介 圖書目錄 -
優選語義學
優選語義學指的是用於自動翻譯的一種語義學理論,英國人工智慧專家Y.A.威爾克斯於1974年提出。
基本含義 義素 義式