| 一重循环结构的分类及其循环不变性质的讨论 |
| |
| 引用本文： | 行飞. 一重循环结构的分类及其循环不变性质的讨论[J]. 内蒙古大学学报(自然科学版), 1995, 26(2): 146-151 |
| |
| 作者姓名： | 行飞 |
| |
| 作者单位： | 内蒙古大学数学系 |
| |
| 摘 要： | 分析了一般一重循环结构的组成要素，按组成要素给出了一重循环结构的初步分类及其程序函数，并且利用不变式状态定理讨论了 样分类下的循环不变式。
|
| 关 键 词： | 循环结构 分类 程序函数 程序设计 循环不变性 |
A Discussion on the Classification of Single Loop Structures and Their Loop Invariability |
| |
| Xing Fei. A Discussion on the Classification of Single Loop Structures and Their Loop Invariability[J]. Acta Scientiarum Naturalium Universitatis Neimongol, 1995, 26(2): 146-151 |
| |
| Authors: | Xing Fei |
| |
| Abstract: | 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. |
| |
| Keywords: | loop structure classification loop invariant program function programming |
| 本文献已被 CNKI 维普 等数据库收录！ |
