数控机床检查编程主要包括以下几个步骤：
程序逻辑检查
程序段顺序：确认程序中的每个部分是否按顺序执行，检查是否有遗漏或冗余的指令。
坐标系设置：核实使用的坐标系（如工件坐标系、程序坐标系）是否正确，并与实际工件匹配。
刀具选择：确保所选刀具与加工工件的材料和加工要求相符。
加工工艺：检查进给速度、切削深度等参数是否合理，避免过大的切削量或过高的进给速度导致加工不合格。
语法检查
G/M代码的正确使用：确认是否正确使用了运动、刀具改变、主轴启动等指令。
地址指令的准确性：核实X、Y、Z坐标值是否符合加工要求，检查是否存在重复或无效的地址指令。
空白与换行符：避免程序中存在不必要的空白或换行符，防止解析错误。
模拟与试切
模拟加工过程：利用数控系统的模拟功能，检查程序是否按照预期路径执行，查看是否有干涉、碰撞等问题。
试切：在正式加工前，使用易切材料（如铝件、塑料或石蜡）进行试切，确认程序的正确性和加工精度。
三看检查法
看程序：检查程序语句和程序名，确保逻辑正确，避免重复或遗漏检查。
看工件坐标：核对屏幕显示的坐标数值与刀具实际尖端位置，确保坐标值一一对应。
看刀尖位置：定期检查刀尖磨损情况，调整刀具位置，防止碰撞工件或卡盘。
使用专用软件
数控仿真软件：如Mastercam、GibbsCAM、EdgeCAM等，通过模拟加工过程检查程序正确性。
编辑器软件：如Notepad++、Sublime Text、Visual Studio Code等，提高编码效率并减少错误。
数控编程验证软件：如VERICUT、NCSIMUL等，进行语法和逻辑分析。
数控编程检测软件：如DELCAM、CGTech等，全面检测刀具路径、切削参数等。
通过以上步骤，可以确保数控机床的程序正确无误，从而提高加工效率和加工质量。建议在实际操作中，结合具体情况进行细致的检查，并根据检查结果进行必要的调整和修改。