为了在计算机中实现模型的自动机表示，选用了PROLOG语言。

PROLOG language is selected in order to realize the automaton representation of model in computer.

youdao

简要介绍了有限精度时间自动机(FPTA)的基本概念，重点讨论FPTA状态中时钟的表示。

Introduces the notion of Finite Precision Timed Automata (FPTA) and focuses on the representation of clocks in a state.

youdao

本文中我们用自动机的方法表示了边界跟踪算法。

We formulate, in this paper, algorithms for boundary tracing based on automata.

youdao