互锁梯形图的编程主要涉及以下步骤和概念：
自锁功能
利用自身的常开触点使线圈持续保持通电即“on”状态的功能称为自锁。
起动、保持和停止程序（简称起保停程序）是典型具有自锁功能的梯形图。
例如，X1为起动信号，X2为停止信号，可以通过置位（set）和复位（rst）指令来实现自锁功能。
互锁功能
利用两个或多个常闭触点来保证线圈不会同时通电的功能称为互锁。
三相异步电动机的正反转控制电路是典型的应用互锁功能的例子。
编程步骤
使用PLC编程软件（如梯形图、功能块图或结构化文本）编写互锁控制回路程序。
调试和测试程序，确保程序正确地实现了互锁条件，并能够按照预期进行操作。
梯形图示例
I0.0为Q0.0的启动按钮，I0.2为Q0.1的启动按钮，I0.1为停止按钮。
当按下启动按钮I0.0，Q0.0得电运行，Q0.0的常闭点断开，无法启动Q0.1。
当按下停止按钮I0.1，Q0.0停止运行，Q0.0的常闭点闭合，Q0.1可以启动。
具体编程示例
```plaintext
| I0.0 | I0.1 | I0.2 |
|------|------|------|
|1 |0 |0 | （启动M1）
|0 |1 |0 | （停止M1）
|0 |0 |1 | （启动M2）
|1 |0 |1 | （停止M2）
```
解释：
当I0.0为1时，M1启动，I0.0的常闭触点断开，防止M2同时启动。
当I0.1为1时，M1停止，I0.1的常闭触点闭合，允许M2启动。
当I0.2为1时，M2启动，I0.2的常闭触点断开，防止M1同时启动。
当I0.1为1时，M2停止，I0.1的常闭触点闭合，允许M1启动。
通过这种方式，可以确保两个电动机不会同时启动或停止，从而实现互锁控制。
建议
在实际应用中，确保所有输入信号和输出触点的逻辑关系正确无误。
进行充分的调试和测试，以验证程序的正确性和可靠性。
如果需要更复杂的互锁逻辑，可以考虑使用功能块图（FBD）或结构化文本（ST）等编程语言。