隱式遷移模型(參考版)
2024-10-21 09:50本頁面
【正文】 S0 while ?(x=y) do … od ? 11 結(jié)構(gòu)化循環(huán)語句模型：性質(zhì) ?(x=y) xy end yes no yes no x:=xy begin y:=yx x=a, y=b, a?0, b?0 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):=(xy,ik,jl) goto l1 l4: (y,k,l):=(yx,ki,lj) goto l1 13 流程圖模型：例子 14 流程圖模型：示意圖 l1 (y,k,l):=(yx,ki,lj) (x,i,j):=(xy,ik,jl) 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):=(xy) goto beg l4: (y):=(yx) goto beg 15 流程圖模型：例子 16 流程圖模型：示意圖 beg (y):=(yx) (x):=(xy) l2 ?(x=y) xy end l4 l3 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):=(xy) goto beg l4: (y):=(yx) goto beg end: 18 流程圖模型：標(biāo)號 變量狀態(tài)集合 : Σ = { (x,y) | x,y 為整數(shù) } 系統(tǒng)狀態(tài)集合 : {beg,l2,l3,l4,end} ? Σ 初始狀態(tài)集合 : {beg} ? Σ 19 流程圖模型：狀態(tài) [beg,(4,6)] [l2,(4,6)] [l4,(4
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1