隐式迁移模型.ppt
《隐式迁移模型.ppt》由会员分享,可在线阅读,更多相关《隐式迁移模型.ppt(40页珍藏版)》请在三一文库上搜索。
1、隐式迁移模型,中国科学院软件研究所 张文辉 http:/ j:=0; k:=0; l:=1; while (x=y) do if xy then x:=x-y; i:=i-k; j:=j-1; else y:=y-x; k:=k-i; l:=l-j; fi od,3,结构化循环语句模型:例子,4,结构化循环语句模型:示意图,i:=1,(x=y),xy,end,yes,no,yes,no,j:=0,k:=0,l:=1,x:=x-y,i:=i-k,j:=j-1,begin,y:=y-x,k:=k-i,l:=l-j,while (x=y) do if xy then x:=x-y; else y:=
2、y-x; fi od,5,结构化循环语句模型:例子,6,结构化循环语句模型:示意图,(x=y),xy,end,yes,no,yes,no,x:=x-y,begin,y:=y-x,B=(F,P)和V: F = - P = =, V = x,y I=(Int,I0) I0(-) = - I0(=) = = I0() = ,7,结构化循环语句模型:F,P,V,S0: while (x=y) do od S1: if xy then x:=x-y; else y:=y-x; S0 S2: x:=x-y; S0 S3: y:=y-x; S0 S4: ,8,结构化循环语句模型:相关模型,变量状态集合: =
3、 (x,y) | x,y 为整数 系统状态集合: S0,S1,S2,S3,S4 初始状态集合: S0 ,9,结构化循环语句模型:状态,S0,(4,6) S1,(4,6) S3,(4,6) S0,(4,2) S1,(4,2) S2,(4,2) S0,(2,2) S4,(2,2),10,结构化循环语句模型:运行例子,while (x=y) do od if xy then x:=x-y; else y:=y-x; S0 y:=y-x; S0 while (x=y) do od if xy then x:=x-y; else y:=y-x; S0 x:=x-y; S0 while (x=y) do
4、od ,11,结构化循环语句模型:性质,(x=y),xy,end,yes,no,yes,no,x:=x-y,begin,y:=y-x,x=a, y=b, a0, b0,y=gcd(a,b),12,流程图模型,beg: (i,j,k,l):=(1,0,0,1) goto l1 l1: if (x=y) goto l2 else goto end l2: if (xy) goto l3 else goto l4 l3: (x,i,j):=(x-y,i-k,j-l) goto l1 l4: (y,k,l):=(y-x,k-i,l-j) goto l1,13,流程图模型:例子,14,流程图模型:示意图
5、,l1,(y,k,l):=(y-x,k-i,l-j),(x,i,j):=(x-y,i-k,j-l),l2,beg,(i,j,k,l):=(1,0,0,1),(x=y),xy,end,l4,l3,yes,no,yes,no,beg: if (x=y) goto l2 else goto end l2: if (xy) goto l3 else goto l4 l3: (x):=(x-y) goto beg l4: (y):=(y-x) goto beg,15,流程图模型:例子,16,流程图模型:示意图,beg,(y):=(y-x),(x):=(x-y),l2,(x=y),xy,end,l4,l3
6、,yes,no,yes,no,B=(F,P)和V: F = - P = =, V = x,y I=(Int,I0) I0(-) = - I0(=) = = I0() = ,17,流程图模型: F,P,V,beg: if (x=y) goto l2 else goto end l2: if (xy) goto l3 else goto l4 l3: (x):=(x-y) goto beg l4: (y):=(y-x) goto beg end:,18,流程图模型:标号,变量状态集合: = (x,y) | x,y 为整数 系统状态集合: beg,l2,l3,l4,end 初始状态集合: beg ,
7、19,流程图模型:状态,beg,(4,6) l2,(4,6) l4,(4,6) beg,(4,2) l2,(4,2) l3,(4,2) beg,(2,2) end,(2,2),20,流程图模型:运行例子,if (x=y) goto l2 else goto end if (xy) goto l3 else goto l4 (x):=(x-y) goto beg if (x=y) goto l2 else goto end if (xy) goto l3 else goto l4 (y):=(y-x) goto beg if (x=y) goto l2 else goto end,21,流程图模
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 迁移 模型
链接地址:https://www.31doc.com/p-2680131.html