It should be completely described via the publication of a formal syntax and semantics.

• 通过的发表形式化的语法和语义，它应当得到完全的描述。