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.
给出时间自动机的基本概念 ,描述了区域自动机的构造方法 ,并且实现了区域自动机的构造算法 。