In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediary.

本文利用时序状态转换系统作为中介，提出一种把过程描述语言的项转换成z规格的机械算法。

youdao

In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediar.

为了解决不同应用中机器人的控制程序设计问题，提出了基于状态转换的机器人程序设计方法。

youdao