本文中讨论的方法是对这一思想的重要提炼,将利用语义锚实现注释的形式化。
The approach I discuss in this article is an important refinement on that idea, which takes advantage of semantic anchors to formalize the annotations.
图形化表示有自己的语法和语义,它们不过是将这些文本语言形式化了。
Graphical representations have syntax and semantics that are just as formalized as those of textual languages.
通过的发表形式化的语法和语义,它应当得到完全的描述。
It should be completely described via the publication of a formal syntax and semantics.
应用推荐