（）程序的检查内容有指令检查、梯形图检查、软元件检查等。