And I want to show you an example of this, to lead to both the syntax, and to the semantics.

我要给大家讲一个例子，让大家学习语法，和语义。

麻省理工公开课 - 计算机科学及编程导论课程节选

OK. What happens if you actually have something that's both syntactically correct, and appears to have correct static semantics, and you run it?

好，当你的代码语法,没错误，并且也有正确的静态语义，你去运行它的时候会发生什么呢？

麻省理工公开课 - 计算机科学及编程导论课程节选

Just like with a natural language, we're going to separate out syntax versus semantics.

就像自然语言一样，我们要去把语法和语义区分开来。

麻省理工公开课 - 计算机科学及编程导论课程节选