在PLC（可编程逻辑控制器）的制造中，主要使用了以下几种程序：
梯形图（Ladder Diagram, LD）：
梯形图是一种图形化的编程语言，它模拟了电路图的形式，将输入、输出和逻辑功能连接起来，用于控制和监控工业自动化系统。在梯形图中，程序通过梯子的横向和纵向运行来描述逻辑功能。横向的梯子线表示运行的步骤，纵向的梯子线表示逻辑功能的连接。梯形图中的各个元素包括输入端子、输出端子、线圈、触发器、计数器、定时器等。
功能块图（Function Block Diagram, FBD）：
功能块图是一种图形化的编程语言，它通过功能块（FB）来表示系统的逻辑功能。每个功能块代表一个特定的功能，例如PID控制、电机控制等。功能块图通过功能块之间的连接来实现复杂的控制逻辑。
结构化文本（Structured Text, ST）：
结构化文本是一种类似于高级编程语言的编程语言，它使用文本形式来描述控制逻辑。结构化文本使用变量、常量、运算符、控制结构（如循环、条件判断等）来构建程序。结构化文本具有较好的可读性和可维护性。
指令列表（Instruction List, IL）：
指令列表是一种基于文本的编程语言，它以指令的形式表示控制逻辑。指令列表程序通常用于编写较为复杂的控制逻辑，可以通过编程软件将其转换为梯形图或功能块图。
顺序功能图（Sequential Function Chart, SFC）：
顺序功能图是一种图形化的编程语言，用于描述系统的控制流程。顺序功能图通过顺序事件、选择事件和并行事件来表示控制逻辑，适用于描述复杂的顺序控制过程。
在实际应用中，梯形图因其直观性和易用性，是最常用的PLC编程语言。功能块图和结构化文本则适用于需要更高可读性和可维护性的场合。指令列表和顺序功能图则适用于特定复杂控制逻辑的编写。