程序循环的分类有哪些？

程序循环可以分为以下几类：

1. 指定运行次数的循环：大部分编程语言都提供循环的指令，可以依指定的次数重复运行一段程序。

2. 指定条件的循环：大多数的编程语言都有指令，可以在特定条件成立时继续循环的进行，或是特定条件不成立时继续循环的进行，进行到特定条件成立为止。

3. 指定集合的循环：许多编程语言支持一种特别的循环，可以针对一个数组中的元素或是一个集合中的所有成员进行循环中的指令。

4. 泛用循环结构：有些编程语言有泛用循环结构，可以用来表示指定次数或指定条件的循环。

5. 死循环：死循环一般会用在有一段程序需要永远运行的场合，或是该程序在没有发生特殊事件时需要永远运行的场合。

6. 提早结束整个循环：当使用指定次数的循环查表时，希望在查到需要的数据时就可以直接结束循环的进行。

7. 循环的特殊指令：有时在使用循环的程序中会希望在特定情形下跳过目前循环区块的指令，回到循环开始运行下一个循环。

另外，循环变式和循环不变式是判断循环正确性的工具，用于确保循环的结束和监控循环中的某一指定性质的状态。