《标号迁移系统》ppt课件
49页1、标号迁移系统,http:/ s0 t0 x=0 y=0 t=0,http:/ 进程A的运行 b: 进程B的运行,http:/ 进程A的运行 b: 进程B的运行,a,a,b,a,b,b,http:/ 系统状态 状态变化 初始状态,符号 抽象状态 三元组 状态集合,标号迁移系统,http:/ 状态集合: 迁移关系: 初始状态集:, a, b z0, z1, z2, z3, (z0,a,z35), (z0,b,z12), z0 ,http:/ 进程A的运行 b: 进程B的运行,a,a,b,a,b,b,http:/ 进程A的运行 b: 进程B的运行,a,a,b,a,b,b,http:/ 系统状态 状态变化 初始状态 公平性约束,符号 抽象状态 三元组 状态集合 状态集合,Bchi自动机,http:/ 状态集合: 迁移关系: 初始状态集: 接受状态集:, a, b z0, z1, z2, z3, (z0,a,z35), (z0,b,z12), z0 z12, z20, z46, ,http:/ z35 z67 z97 z0 z35 z46 z78 ,a a a a b b ,语言:(a|b) 的
2、子集,http:/ 进程A的运行 b: 进程B的运行,a,a,b,a,b,b,http:/ 进程A的运行 b: 进程B的运行,a,a,b,a,b,b,http:/ 系统状态 状态变化 初始状态 多元公平性,符号 抽象状态 三元组 状态集合 状态集合的集合,扩展Bchi自动机,http:/ 状态集合: 迁移关系: 初始状态集: 接受状态集集合:, a, b z0, z1, z2, z3, (z0,a,z35), (z0,b,z12), z0 z12,z20, z35,z67, ,http:/ 进程A的运行 b: 进程B的运行,a,a,b,a,b,b,http:/ 进程A的运行 b: 进程B的运行,a,a,b,a,b,b,http:/ 系统状态 状态变化 初始状态 强公平性,符号 抽象状态 三元组 状态集合 状态集合对的集合,Streett自动机,http:/ 状态集合: 迁移关系: 初始状态集: 状态集合对 的集合:, a, b z0, z1, z2, z3, (z0,a,z35), (z0,b,z12), z0 (z35,z67), (z35,z46), (z35,z12,z97,z2
3、4), ,http:/ 进程A的运行 b: 进程B的运行,a,a,b,a,b,b,http:/ 进程A的运行 b: 进程B的运行,a,a,b,a,b,b,http:/ 系统状态 状态变化 初始状态 多元公平性,符号 抽象状态 三元组 状态集合 迁移集合的集合,http:/ 状态集合: 迁移关系(T): 初始状态集: 迁移集合的集合:, a, b z0, z1, z2, z3, (z0,a,z35), (z0,b,z12), z0 (x,a,y) | (x,a,y)T , (x,b,y) | (x,b,y)T ,http:/ a=s0 q: b=t0 r: t=0 s: a=s0b=t0,pqr,pqr,pqr,pqr,pqr,pqr,pqr,pqr,pq,http:/ (z35,z46/z47),(z35,z67) (z35,z46,z47),(z35,a,z67) (z35,b,z46,z47),http:/ 系统状态 状态变化 初始状态,符号 抽象状态 三元组(S,2S) 状态集合,交错迁移系统,http:/ 状态集合: 迁移关系: 初始状态集:, a, b z0, z1, z2, z3, (z0,a,z35), (z35,b,z46,z47), z0 ,http:/ p, s01), (s0, pq,s02), (s01,q, s11,s12), (s02,q, s11,s12), (s11,q, s11,s12), (s11,pq,s2), (s12,q, s11,s12), (s12,pq,s2), (s2, pq,s2),http:/ 状态集合: 迁移关系: 初始状态集:, p,q,pq, s0, s01,s02,s11,s12,s2 (s0,p,s01), (s0,pq,s02), s0 ,http:/ req,S2,S1,train,ctr,ctr,og,train,og, gr,ig,tr,ctr,ctr,tr,ctr,tr,http:/ = (+)*,S0,S1,S1,http:/ = L(A) = (*),S0,S1,S0,http:/ (+)*,
《《标号迁移系统》ppt课件》由会员tia****nde分享,可在线阅读,更多相关《《标号迁移系统》ppt课件》请在金锄头文库上搜索。
2024-04-11 25页
2024-04-11 37页
2024-04-11 28页
2024-04-11 31页
2024-04-11 36页
2024-04-11 29页
2024-04-11 22页
2024-04-11 27页
2024-04-11 34页
2024-04-11 32页