片语

abstract reduction machine抽象图归约机

abstract microcode machine抽象微码模型机

Warren abstract machine沃伦抽象机

abstract states machine抽象状态机

abstract state machine languageAbstract State Machine Language (AsmL) is a programming language based on the Abstract State Machines

Abstract State Machine抽象状态机

abstract mathematical machine翻译

abstract t machine抽象计算机

abstract rewriting machineThe Abstract Rewriting Machine (ARM) is a virtual machine which implements term rewriting for minimal term rewriting system

英汉例句

• the rules of transforming from uml state machine into b abstract machine are provided.

  给出了嵌入式软件设计中常用的uml并发状态图到b抽象模型的转换规则。

• this paper discusses some problems about the combination of multiple knowledge representation paradigms, and describes the implementation of the abstract machine of the hest.

  本文讨论多种知识表示模式结合的一些问题，并设计了一个面向逻辑函数相结合的知识表示语言的抽象机。

• in this paper, the parallel graph rewriting abstract machine pam/tgr based on the heterogeneous parallel graph rewriting execution model hpgrem> is introduced firstly.

  本文首先扼要地介绍了我们基于多相并行图重写执行模型hpgrem的并行图重写抽象机pam/tgr的设计和实现。

• absrtact: the abstract machine is generally used to construct a software compiler.

  摘 要：抽象机通常用在软件程序编译器中。

• note that some aspects of sequencing in the abstract machine are unspecified;

  注意，某些情况下抽象机器执行的次序是未指定的；

• the key advantage here is that the same object code can be executed on any hardware platform that supports the abstract machine (the interpreter).

  这里的主要优势在于，可以在支持抽象机器（interpreter）的任何硬件平台上执行同样的对象代码。

• an instance of the abstract machine can thus have more than one possible execution sequence for a given program and a given input.

  对于一个已知程序和已知数据，虚拟机器的实例将因其非确定方面产生不只一个可能的执行序列。