A finite state machine model is developed for the robot to integrate remote-control and local autonomous control.

设计了巡检机器人有限状态机模型，实现了机器人遥控与局部自主控制的有机结合。

youdao

The idea of using of model programs and state space exploration is a natural extension of finite state machine based techniques that fits well with black-box testing of software.

使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。

youdao

Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).

不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。

youdao