ST程序是由 一系列的功能块（Function Block, FB）和程序组织单元（Program Organization Unit, POU）组成的。每个POU可以包含一个或多个功能块，而功能块则包含了实际的逻辑代码。ST语言的这种模块化结构使得程序的组织和调试变得更加方便。
ST程序的结构化特点体现在以下几个方面：
结构化编程：
ST采用结构化的编程风格，程序由一系列的语句组成，通过使用分支结构和循环结构来实现程序流程的控制，使程序逻辑清晰易懂。
数据类型：
ST支持多种数据类型，包括整数、浮点数、字符串等，可以根据需求灵活选择。
运算符：
ST支持各种算术、逻辑和比较运算符，可以进行复杂的数学运算和逻辑判断。
条件语句：
ST支持if-then-else条件语句，可以根据不同的条件执行相应的操作。
循环语句：
ST支持for循环和while循环，可以重复执行一段代码，实现迭代和循环控制。
功能块和函数：
ST支持自定义的功能块（FB）和函数（FUN），这些代码块可以重复调用，提高代码的复用性。
模块化：
ST程序由多个POU组成，每个POU可以独立编写、测试和调试，提高了程序的可维护性。
```st
PROGRAM ExampleProgram
VAR
counter: INT := 0；
END_VAR
METHOD Main；
BEGIN
WHILE counter < 10 DO
counter := counter + 1；
IF counter = 5 THEN
CALL MyFunction；
END_IF；
END_WHILE；
END_METHOD
METHOD MyFunction；
BEGIN
PRINT（"Counter is at " + INT_TO_STRING（counter））；
END_METHOD
END_PROGRAM
```
在这个示例中，`Main`方法是一个程序组织单元，包含一个while循环。循环会执行10次，每次循环中，计数器`counter`增加1，当计数器等于5时，调用`MyFunction`方法。`MyFunction`方法打印当前计数器的值。
通过这种结构化的编程方式，ST程序能够清晰地表达复杂的控制逻辑，并且易于理解和维护。