基于RAPID语言形式语义的机器人控制程序调试方法及装置

摘要

本发明公开了一种基于RAPID语言形式语义的机器人控制程序调试方法及装置，该方法包括：对RAPID语言官方提供的语法格式进行分析，并重构为符合K框架规定的传统巴克斯范式；根据RAPID语言的特性以及调试时待观察的程序状态，定义运行配置格式；基于RAPID语言的语法和运行配置，使用K框架定义RAPID语言形式语义RAPID‑FS；基于RAPID‑FS，使用K框架调试机器人控制程序。本发明改变了机器人编程语言缺少形式语义的现状，且为机器人控制程序开发者提供了一种方便、直观的调试功能。