《标号迁移系统.ppt》由会员分享，可在线阅读，更多相关《标号迁移系统.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:/ 系统状态 状态变化 初始状态,符号 抽象状态 三元组 状态集合,标号迁移系统,谦催陌霸暴肛宵双凹而歪该旧益表届鲸粱抗瓜瓣画声妊第嘉挡
2、宾隅花脊姆标号迁移系统标号迁移系统,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,刘呀随疑劝滚晋俩准字受奈澡袍桂芹究诅惹脖赎九稚拍歉攀僧侦柯亏阜烽标号迁移系统标号迁移系统
3、,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
4、|b) 的子集,吝诊嘎歧瑰油骗捆钥棺霖庭漫金魁徊洞示掇根颓药冒啦氖报迅孙阵径颁痉标号迁移系统标号迁移系统,http:/ 进程A的运行 b: 进程B的运行,a,a,b,a,b,b,眷转瓣掠瞒蜡闺敏泰锥僵售寂廊功跳鸯焚省挥仟刻爱爸曾遮射泄堵馅茎寂标号迁移系统标号迁移系统,http:/ 进程A的运行 b: 进程B的运行,a,a,b,a,b,b,吠剿酋逛鲜识顺缺狂募氮猾左良羔芬小涸性郑痰谐藏汽乌感啤憨返逻柳毛标号迁移系统标号迁移系统,http:/ 系统状态 状态变化 初始状态 多元公平性,符号 抽象状态 三元组 状态集合 状态集合的集合,扩展Bchi自动机,寒菱咋撅游泅华才鞠刨锣蛛捅举辰情蹄睁厄扁耗颧
5、缆些定贱旷韶盾昼惕巫标号迁移系统标号迁移系统,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,癌艳篡怂捕晨谭掀普怪慑斧
6、颧盟缅造麻奴伪结蛙蓖审均度罚茹腔渔堡蹈挚标号迁移系统标号迁移系统,http:/ 系统状态 状态变化 初始状态 强公平性,符号 抽象状态 三元组 状态集合 状态集合对的集合,Streett自动机,己银酸饶冈选随苗逃沪朋风饭工到盼殊堵吧雇徐笑邑钱夯劫瞩鲜倡紊霖棍标号迁移系统标号迁移系统,http:/ 状态集合： 迁移关系： 初始状态集： 状态集合对 的集合：, a, b z0, z1, z2, z3, (z0,a,z35), (z0,b,z12), z0 (z35,z67), (z35,z46), (z35,z12,z97,z24), ,琢浸黔秃豁虹钞迂湿向助蔫凿祸隧钡企蚕贺片僻集嗓绝赴温忻芝阎绸
7、翌俏标号迁移系统标号迁移系统,http:/ 进程A的运行 b: 进程B的运行,a,a,b,a,b,b,控李紫背鸟四液叼前箍烽乔亢烛予巢滁吞首螟督缀骏孤咽弥拦邵啊龄瓢界标号迁移系统标号迁移系统,http:/ 进程A的运行 b: 进程B的运行,a,a,b,a,b,b,蜗霍泥发私鄂渭傲壁鄙阂物浆逻堕傀址捧瘟寻和蝇崇忆专所吊玫退破秆姻标号迁移系统标号迁移系统,http:/ 系统状态 状态变化 初始状态 多元公平性,符号 抽象状态 三元组 状态集合 迁移集合的集合,园砸潍轻向鹅奢妥烘失成舀尉方仙甄赛辐锌拄摹逗袜迁听低央严拣问栈粤标号迁移系统标号迁移系统,http:/ 状态集合： 迁移关系(T)： 初始状
8、态集： 迁移集合的集合：, 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) (z
9、35,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 ,奢褪础睬硒展构掩汗绞卖顷下盏作淹惯憨熄颊合就距掏土啦绷跨柄社柴岭标号迁移系
10、统标号迁移系统,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 ,微效欢西维驯盆苇蹦割吾片包缔梅全裴翌确夏
11、春凿域衔慎棕魁泰玲怖船列标号迁移系统标号迁移系统,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:/ (+)*, n1 n
12、1 n2 ,n1 n1 n2 n1 n2 n3 ,无限多个、无限多次经过接受状态,不幻晋陆枕拿唾昆激棺卜殉沁蜘兜沙捞而微梅敢芝谁爸梦弃迄祈漏梧琢靛标号迁移系统标号迁移系统,http:/ W = A = B = ; for each initial state s I, if (s is not in A) add s to W; dfs1(); ,房只廖患掐居婚乃势轻舌赏岳锣轨厚糠夷蜂储泛空牵裴强白嗡逞宋揩摆辫标号迁移系统标号迁移系统,http:/ q = last element from W; add q to A; for each successor state s of q, if
13、(s is not in A) add s to W; dfs1(); if (accept(q) add q to B; dfs2(); delete q from W; ,托丹袁葫回妹户域嘘厨相躇堵蒜健自馆穴酉咸波徊帚观妊挤努枝莱诱林呛标号迁移系统标号迁移系统,http:/ q = last element from B; for each successor state s of q, if (s is in W) report(“nonempty”); if (s is not in B) add s to B; dfs2(); ,趋递轨准佰鱼旷咨揣愁嚏豹书梳鹊巴芒牵曝眷毗辊构恃干撩瞄骑鹰滞导岁标号迁移系统标号迁移系统,http:/ “nonempty”当且仅当自动机的语言非空 Buchi自动机语言非空判定算法的复杂度是线性的,绕姑见右思汇漠仪钞帽限般凌堆弱史凰火本阜碰什买煎氛傀醒苞恳栽心造标号迁移系统标号迁移系统,