隐式迁移模型内容摘要：
)] [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):=(xy) goto beg if (x=y) goto l2 else goto end if (xy) goto l3 else goto l4 (y):=(yx) goto beg if (x=y) goto l2 else goto end 21 流程图模型：性质 beg (y):=(yx) (x):=(xy) l2 (x=y) xy end l4 l3 yes no yes no x=a, y=b, a0, b0 y=gcd(a,b) 22 卫式迁移模型 (a=s0) (i,j,k,l,a):=(1,0,0,1,s1) (a=s1 x=y) (a):=(s5) (a=s1 (x=y)) (a):=(s2) (a=s2 xy) (a):=(s3) (a=s2 (xy)) (a):=(s4) (a=s3) (x,i,j,a):=(xy,ik,jl,s1) (a=s4) (y,k,l,a):=(yx,ki,lj,s1) 初始状态： (a=s0x0y0) 23 卫式迁移模型：例子 24 卫式迁移模型：示意图 (a=s0) (i,j,k,l,a):=(1,0,0,1,s1) (a=s1x=y) (a):=(s5) (a=s1(x=y)) (a):=(s2) (a=s2xy) (a):=(s3) (a=s2(xy)) (a):=(s4) (a=s3)(x,i,j,a):=(xy,ik,jl,s1) (a=s4)(y,k,l,a):=(yx,ki,lj,s1) 初始状态 : a=s0x0y0 25 卫式迁移模型：示意图 s5 s0 (a=s0) (i,j,k,l,a):=(1,0,0,1,s1) (a=s1x=y) (a):=(s5) (a=s1(x=y)) (a):=(s2) (a=s2xy) (a):=(s3) (a=s2(xy)) (a):=(s4) (a=s3)(x,i,j,a):=(xy,ik,jl,s1) (a=s4)(。阅读剩余 0%
本站所有文章资讯、展示的图片素材等内容均为注册用户上传(部分报媒/平媒内容转载自网络合作媒体)，仅供学习参考。
用户通过本站上传、发布的任何内容的知识产权归属用户或原始著作权人所有。如有侵犯您的版权，请联系我们反馈本站将在三个工作日内改正。