对虚拟表示模型进行了扩展,使VDM页面能够灵活地支持模块化设计,并给出了相应扩充语义标记的形式文法。
Through Extending Virtual Description Model, VDM web pages can support modular design, and bring forward relevant extended semantic tag format grammar.
使用这种转换文法,可以描述程序语言之间的形式转换。
This transformation grammar can be used to describe the formal transformation between programming languages.
文法(grammar)是一组以文本形式表示的规则。
A grammar is a collection of rules in text form. The following example is a single rule that matches a word.
我国新修订的《公司法》以成文法的形式确立了公司法人格否认制度,为世界独创。
The Chinese Corporation Law amended newly has established the institution of disregard of corporate personality with formal law which is original worldwide.
本文描述的计算机选案子系统采用语义文法结构,中间语言采用语义依存树的形式。
The computer aided tax system described in this thesis is a semantic grammar system, with the semantic dependency tree as the intermediate language.
本文走从语言文字描述至符号化再到形式化的崭新道路,首先为一般性的智能控制系统提出并建造了结构模型,然后利用形式语言理论将结构模型推导成了一种上下文无关文法。
First, a structural model has been put forward and constructed for general ICS ', then by utilization of formal language theory, the structural model formulated as a kind of context-free grammar.
分布式操作系统形式化系统模型DOSFS主要由文法DOSFSG和语义DOSFSS两部分组成。
Distributed Operating System Formal System Model (DOSFS) consists of the grammar DOSFSG and the semantics DOSFSS.
分布式操作系统形式化系统模型DOSFS主要由文法DOSFSG和语义DOSFSS两部分组成。
Distributed Operating System Formal System Model (DOSFS) consists of the grammar DOSFSG and the semantics DOSFSS.
应用推荐