水厂自动化通常使用的程序包括以下几种：
梯形图（Ladder Diagram, LD）：
梯形图是一种图形化的编程语言，用于描述控制系统的逻辑结构。它使用符号和图形来表示各种电气元件和它们之间的连接，非常适合用于编写PLC（可编程逻辑控制器）程序。
功能块图（Function Block Diagram, FBD）：
功能块图是一种图形化的编程语言，用于描述控制系统的功能模块。它使用功能块来表示控制系统的各个功能，非常适合用于编写复杂的PLC程序。
结构化文本（Structured Text, ST）：
结构化文本是一种高级编程语言，用于描述控制系统的控制逻辑。它使用类似于C语言的语法来编写程序，非常适合用于编写复杂的PLC程序。
编程软件：
用于编写和调试PLC控制程序。常见的PLC编程软件包括Siemens的STEP 7、Rockwell Automation的RSLogix、Mitsubishi Electric的GX Works等。
远程监控软件：
用于在线监视水厂现场工艺流程和主要设备的运行情况，并可通过计算机控制主要设备。这些软件通常用于远程控制和数据采集，如使用SCADA（Supervisory Control And Data Acquisition）系统。
在实际应用中，水厂自动化系统可能会结合使用上述编程语言和软件，以实现对水厂各工艺过程和设备的高效、稳定控制。例如，PLC程序可以用于控制水泵、阀门、搅拌器等设备的启停和调节，同时远程监控软件可以实时监测水质参数和设备运行状态，并通过设定相关参数来优化生产控制水质。