Formulized is an operational semantic model of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.
本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型，它实质上是LISP虚拟机上的一个解释程序。
It is also the focus of this paper to integrate the UML and formal language, make up the shortfall of UML semantics, and give precise semantic of real-time behavior model.
把UML和形式化语言进行融合，通过形式化的方法来弥补UML语义上的不足，给出实时行为方面模型的精确语义，也是本文的研究重点。
The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.
对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。
As a research focus in natural language understanding area, the purpose of semantic analysis is to transfer the mankind's natural language into formal language that computer can understand.
作为自然语言理解的一项研究重点，语义分析旨在将人类的自然语言转化为计算机能够理解的形式化语言。
As a research focus in natural language understanding area, the purpose of semantic analysis is to transfer the mankind's natural language into formal language that computer can understand.
作为自然语言理解的一项研究重点，语义分析旨在将人类的自然语言转化为计算机能够理解的形式化语言。
应用推荐