可编程控制器的定义是什么