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

A Discussion on the Classification of Single Loop Structures and Their Loop Invariability

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

he constitution elements of a general single loop structure are discussed.According to theconstitution elements,the preliminary classification and its program function of the single loopstructure are described.With loop invariant theory ,the loop invariant of this classification is in-vestigated.