计算机语言语法语义,程序设计语言语义

语法和语义是定义一个程序设计语言所涉及的两个重要侧面：语法涉及程序文法结构，研究程序设计语言所允许的成分结构形式；而语义则涉及文法上正确的程序的含义，研究语言与其所指对象间的关系。程序设计语言语义是为了指明给出程序设计语言的程序含义。程序设计语言语义一般分为指称语义、操作语义、代数语义和公理语义学。

中文名

程序设计语言语义

外文名

programming language semantics

学    科

计算机定    义

指明给出程序设计语言的程序含义

有关术语

语义

领    域

编程语言

程序设计语言语义简介

编辑

语音

程序设计语言，也称编程语言(programming language)，是用来定义计算机程序的形式语言。它是一种被标准化的交流技巧，用来向计算机发出指令。程序设计语言语义为了指明给出程序设计语言的程序含义，研究语言与其所指对象间的关系。

程序设计语言语义属于形式语义学，在计算理论中，形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。形式语义学(formal semantics)，是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。

程序设计语言语义语义

编辑

语音

模型论的基本概念之一。指语言表达式和表达式的意义之间的关系。研究语义的理论称为语义理论，又称语义学。语义学不像语法学那样只关心表达式的形式而不关心它们的意义[1]

。而是