| 释义 |
abstract syntax
抽象语法
The essential part of the syntax of a language after eliminating the details which are irrelevant to the language semantics,in order to formalize the semantics.For instance,the assignment statement:x=y;x:=y;y→x;may be generalized as Assignment (expression,variable)without losing its semantics.
为了将语言的语义形式化,把它的语法中与语义无关的细节去掉后所剩下的本质部分称 之为抽象语法。例如,赋值语句x=y;x:=y;或y→x可以概括为Assignment(expression, variable)而保持原有的语义。 |