机器人没有移动可以判断程序必然执行完毕。