Regardless of the syntax you choose, you trace the structure from the concrete schema patterns to the abstract pattern (as in Listing 3), where you find semantic anchors that solidify the definition.
无论选择什么语法，都可以把这种结构从具体的模式范式回溯到抽象范式（参见 清单 3），从而找到确定其定义的语义锚。
On the basis of general testing syntax and semantic, the paper focus on the research of the trace preorder and the observati.
本文在通用试验语义和语法的基础上，着重研究了踪迹预序和观察预序。
应用推荐