语法和语义之间有什么区别？

我一直认为引用语言的语法与引用语言的语义相同。但我已获悉，显然并非如此。有什么不同？

语义〜意义

语法〜符号表示

因此，用不同语言编写的两个程序可以完成相同的操作（语义），但是用于编写程序的符号将有所不同（语法）。

编译器将为您检查语法（编译时错误），并从语言规则中导出语义（将语法映射到机器指令上），但是不会找到所有语义错误（运行时错误，例如计算错误的结果，因为代码说加1而不是加2）。

实际上，没有两个级别，而是三个：

• 词汇水平：如何组合字符以产生语言元素（i并f产生if）
• 语法级别：如何语言元素被组合以产生语言表达（if，(，42，==，answer和)产生一个条件语句）
• 语义级别：如何将语言表达式转换为CPU指令以形成含义（条件语句允许执行一个分支或另一个分支，具体取决于布尔表达式的结果）

我将用一个简单的语言示例向您解释ENGLISH：

The glass drank Ben

是句法正确的陈述。它具有名词，动词等。

但是从语义上讲这是错误的，因为该陈述没有可想像或正确的含义。

语义描述编程语言的逻辑实体及其交互。语法定义了这些字符如何表达。

例如，指针算术的概念是C语义的一部分。的方式+和-运营商可以用来表达指针操作是其语法的一部分。

有时，两种语言共享其部分语义，但是语法却大相径庭（例如C＃和VB.NET-都使用值类型和引用类型，但是键入定义它们的字符是不同的）。在其他情况下，两种语言在语法上是相似的，但是语义却不匹配（考虑Java与JavaScript，在相似之处通常会使初学者感到困惑）。

语法是您排列语言标记的方式。语义就是这些标记的含义（通常，标记的特定排列意味着什么）。

您没有指定是仅引用编程语言还是编程中使用的通用语言，因此我的答案是关于数据语言（例如XML，RDF，数据类型系统等）的：

布赖恩·米克（Brian L. Meek）在他的七个独立于语言的标准的黄金法则（1995年）中写道：“一种语言的语法可以是另一种语言的语义”。他指的是数据描述中使用的“语法”和“语义”一词：因此，如果您在某种数据格式的规范中偶然发现这些词，则最好用“ Potrzebie”替换这两个词，以明确表示您必须解决对自己的意义。

至少在精确指定的数据中，语法和语义之间的关系可以用术语“编码”更好地描述。语义以语法编码。由于录音可以嵌套，因此一种语言的语法就是另一种语言的语义。如果超出了数据领域，则这种嵌套实际上是无限的，正如Umberto Eco所说的那样，它是“无限符号学”。

举个例子：

• XML语法（带有所有这些括号的东西）是将XML Infoset（抽象树）作为语义的语法。
• XML Infoset作为语法可以将某种XML数据格式的记录表示为语义，例如，对RDF图进行编码的RDF / XML文档。
• RDF图（带有URI引用的东西）作为语法将抽象资源图编码为语义。
• 作为语法的抽象资源图将概念模型编码为语义。

人们通常会在某种程度上停下来并把它当作语义，但最终除非存在某些人在脑海中解释数据的情况，否则就没有最终的语义。一旦人们试图以数据形式表达语义，它就会成为语法。

如果可以用BNF（巴克斯-纳尔形式）或类似形式描述它，那是语法。如果不能，那不是。

另一方面，语义与程序（或其他源代码块）的含义有关。

有时两者之间的界限可能会模糊。

一种理解区别的方法是查看程序语法或语义不正确时遇到的各种错误。

语法错误是指源代码无法匹配语言语法，例如，在需要使用分号的地方没有分号。

语义错误是无法满足其他语言要求（例如C称为“约束”）；一个例子可能是写x + y在那里x，并y是不兼容的类型。语言语法告诉您，加法看起来像something + something，但是它的功能不足以表达对左右操作数类型的要求。

（逻辑错误，例如使用1表示2是正确的错误，通常不会被编译器检测到-尽管在某些情况下，编译器会警告可疑代码。）

语法是（词汇）符号所说的。语义就是他们的意思。

考虑：

C＃：condition ? true_value : false_value
VB.NET：If(condition, true_value, false_value)
-不同的语法，相同的语义。

C＃：left_value / right_value
VB.NET：left_value / right_value
-相同的语法，不同的语义（对于整数）。

语法是句子中单词的语法安排，即单词顺序。

（英语）“ cat dog boy ”和（编程）“ hi.5 ”在语法上不正确。

（英语）“ 猫抱着男孩 ”，（编程）“ * 3.2 * 5 *”在语法上有效。

静态语义是语法上有效的语句是否具有任何含义。

（英语）' 我很大 '（编程）（python）' 3 +'hi' '在语法上是正确的，但具有静态语义错误。

语义是与语法正确的符号字符串相关联的含义，没有静态的语义错误，即句子在语法和语义上都是正确的，但其含义可能不是所要的。

（英语）“ 飞行中的飞机可能是危险的 ”可以有两种含义，即飞行中的飞机可能有危险或正在飞行中的飞机有危险。

（编程）“计算机不会生成任何错误消息，但不会执行您告诉计算机的操作；它将做其他事情。

来源：MIT 6.00.1

1. 语法是指规范某种语言中有效语句的构造的正式规则。语义是指给出陈述含义的一组规则。

2. 当违反或滥用编程语言规则时，在程序中会发生由于语法引起的错误。当语句没有意义时，由于语义而导致的错误会在程序中发生。

3. 词序是语法的基本原理，试图理解所写内容的人使用词序的句法线索来帮助给出句子的结构和含义。语义是个人根据其先验知识对“句子”的含义的自己的解释。因此，在使用语义提示时，看似没有语法意义的句子可以具有意义。

4. 语法仅与语言和语法上正确的内容有关。语义学要求所有人都具备先验知识，而这远远超出了任何特定于语言的知识。

5. “婴儿牛奶饮料”一词没有句法含义，但是由于我们的先验知识告诉我们婴儿喝牛奶，因此大多数人会通过语义将其解释为“婴儿喝牛奶”的含义，因此我们可以从中找到含义。关键词。

语法和语义就像策略和战术或左右。

它们并不是真正独立的通用概念，而是一对相关的单词，当您处于特定的上下文中时，它们指示相反的方向。但是，在某种程度上，策略是另一种策略。

因此，如果您使用某种语言编写代码，那么语法就是您使用的语言，而所需的行为就是语义。但是，如果您正在实现或讨论该语言的编译器，那么语法就是语法（可能是类型系统）以及基于此语言构建的语义。等等。

语法是计算机可以理解的，语义是人类可以理解的。

编译器/解释器不在乎您的设计，在任何编译到机器级别的代码中，您都很难推断出设计。开发人员关心设计，因为好的设计是通过抽象复杂的行为和交互来降低复杂性，并且不同类型的问题使它们具有不同的语义。语言的选择主要取决于您要使用的语义在语法中如何轻松有效地表达。

非常简单的“ plain c”示例：

void main()
{
  int a = 10;
  int x = a - 1;
  int y = - 1;

  printf("x = %i", x);
  printf("y = %i", y);
    getch();
}

在此示例中，“-”标记的语法相同，但是根据其使用位置，其含义不同（“语义”）。

在“ x”分配中，“-”表示“减”运算，在“ y”分配中，“-”表示“负号”运算。