数学学院 主 页 科 研 教 学 生 活
|
数学学院 主 页 科 研 教 学 生 活 |
状态迁移理论—关于循环不变式的探讨作者：都志辉，张乃孝原载：智能计算机基础研究‘94 ，P462-466，清华大学出版社，1994.4. 摘要：本文阐述了状态迁移理论的基本思想，揭示了循环不变式的深刻内涵，并通过 具体的例子以及与相关理论的对比，对循环不变式的本质特征及其开发作了比较深入的探讨。 关键词: 状态序列 状态迁移理论 循环不变式 下载：[txt]
论文著作的详细列表
|
|||