基本释义:

区域自动线路交换机

网络释义

1)RACE Regional Automatic Circuit Exchange,区域自动线路交换机

2)LACE Local Automatic Circuit Exchange,当地自动线路交换机

3)zone exchange,区域交换机

4)EX (Exchange / Exchange Line),交换机/交换线路

5)dial exchange,自动交换区

6)region automaton,区域自动机

用法和例句

Timed automaton must be translated into the untimed region automaton at first if the emptiness of a timed automaton is to be decided.

在判定一个时间正则语言是否为空时 ,先要将时间自动机转化为无时间的区域自动机 。

The construction of the region automaton is described, and the algorithm to realize it is given.

给出时间自动机的基本概念 ,描述了区域自动机的构造方法 ,并且实现了区域自动机的构造算法 。