当使用ST语言编写自锁、互锁、连锁的具体程序时，我们需要定义输入和输出变量，并编写逻辑来控制这些变量。以下是具体的程序示例：

自锁ST程序：

假设我们有一个启动按钮 Start_Button 和一个停止按钮 Stop_Button，以及一个输出 Motor_Run 来控制电机。
PROGRAM Main
VAR
   Start_Button : BOOL; // 启动按钮输入
   Stop_Button : BOOL;  // 停止按钮输入
   Motor_Run : BOOL;    // 电机运行状态输出
END_VAR
// 初始化
Motor_Run := FALSE;

// 自锁逻辑
IF Start_Button AND NOT Motor_Run THEN // 如果按下启动按钮且电机未运行
   Motor_Run := TRUE; // 启动电机
ELSIF Stop_Button THEN // 如果按下停止按钮
   Motor_Run := FALSE; // 停止电机
END_IF;

自锁梯形图程序：

互锁ST程序：
假设我们有两个输出 Output1 和 Output2，它们不能同时被激活。

PROGRAM Main
VAR
   Re : BOOL; // 请求Output1的输入
   Re : BOOL; // 请求Output2的输入
   Output1 : BOOL;         // Output1的状态输出
   Output2 : BOOL;         // Output2的状态输出
END_VAR
// 初始化（虽然在这个简单的示例中不是必需的）
Output1 := FALSE;
Output2 := FALSE;
// 互锁逻辑
IF Re AND NOT Output2 THEN // 如果请求Output1且Output2未激活
   Output1 := TRUE;
ELSIF NOT Re THEN // 如果不再请求Output1
   Output1 := FALSE;
END_IF;

IF Re AND NOT Output1 THEN // 如果请求Output2且Output1未激活
   Output2 := TRUE;
ELSIF NOT Re THEN // 如果不再请求Output2
   Output2 := FALSE;
END_IF;