图形化表示有自己的语法和语义,它们不过是将这些文本语言形式化了。
Graphical representations have syntax and semantics that are just as formalized as those of textual languages.
从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
Thus, it provides an excellent foundation for correctly understanding the RAISE specification language and describing its formal semantics.
本文认为,一种语言形式,在产生之初就表示截然相反的两种语义,是不可能的。
It is hardly possible, however, that a new word can get just two opposite meaning as it appears.
应用推荐