一重循环结构的分类及其循环不变性质的讨论

摘要

分析了一般一重循环结构的组成要素，按组成要素给出了一重循环结构的初步分类及其程序函数，并且利用不变式状态定理讨论了 样分类下的循环不变式。