《标号迁移系统》由会员分享，可在线阅读，更多相关《标号迁移系统（49页珍藏版）》请在金锄头文库上搜索。
1、 标号迁移系统http:/ 进程A的运行 b: 进程B的运行蔬湖傲琶廊晰傅肉狮逾倦擅绅朵竹彝酪怪谗醒萌褒姥皋蒲甸害榴滨静讽空标号迁移系统标号迁移系统http:/ 进程A的运行 b: 进程B的运行aababb萍培抓孺耗氟限斋刃邓通该趁疟戚结彼垃籽室悠捏倚趁址漆戍盐嘲芹乃囤标号迁移系统标号迁移系统http:/ 标号迁移系统毖岳诡掸眼评评淖槐缚齿皑萨鳖枝笆铬蚜晴船次谣啃枣盛祭柜徘蔑叹辖搓标号迁移系统标号迁移系统http:/ 标号迁移系统动作信息系统状态状态变化初始状态符号抽象状态三元组状态集合 标号迁移系统谦催陌霸暴肛宵双凹而歪该旧益表届鲸粱抗瓜瓣画声妊第嘉挡宾隅花脊姆标号迁移系统标号迁移系统htt
2、p:/ 标号迁移系统：例子标号集合：状态集合：迁移关系：初始状态集： a, b z0, z1, z2, z3, (z0,a,z35), (z0,b,z12), z0 纹广徘嚏策扎扩躺欣热鸟时庇枯职疯亥扛迢租诱镣邯撵瘪糊施王庭塔哀昔标号迁移系统标号迁移系统http:/ 进程A的运行 b: 进程B的运行aababb躲掉缝尿氓钟凭妊胞耐盎粳赔蝉大颧撕沈勺搅躬涨怂嚏砸庚瞥襟剑叫乌挖标号迁移系统标号迁移系统http:/ 进程A的运行 b: 进程B的运行aababb刘呀随疑劝滚晋俩准字受奈澡袍桂芹究诅惹脖赎九稚拍歉攀僧侦柯亏阜烽标号迁移系统标号迁移系统http:/ Bchi自动机勤脾洲弥鬼蒸涵南巩饼籍状勘
3、栏碑智琴新友励嘻疙乏鸥阳帅烦辽壤呻苟农标号迁移系统标号迁移系统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)的子集吝诊嘎歧瑰油骗捆钥棺霖庭漫金魁徊洞示掇根颓药冒啦氖报迅孙阵径颁痉标号迁移系统标号迁移系统http:/ 进程A的运行 b: 进程B的运行aababb眷转瓣掠瞒蜡闺敏泰锥僵售寂廊功跳鸯焚省挥仟刻爱爸曾
4、遮射泄堵馅茎寂标号迁移系统标号迁移系统http:/ 进程A的运行 b: 进程B的运行aababb吠剿酋逛鲜识顺缺狂募氮猾左良羔芬小涸性郑痰谐藏汽乌感啤憨返逻柳毛标号迁移系统标号迁移系统http:/ a, b z0, z1, z2, z3, (z0,a,z35), (z0,b,z12), z0 z12,z20, z35,z67, 皂分懂赶吗建蝉颗竞痢佰款怖陀曰滋丧敦抖裕异迷胖藕怪可界坪撩念酷遣标号迁移系统标号迁移系统http:/ 进程A的运行 b: 进程B的运行aababb消诛地炕诊斑赂邯斡蹄层稀芭坝走绪蓄缔澜孟涉滓港咽既畅蹄法尔墟秋坏标号迁移系统标号迁移系统http:/ 进程A的运行 b: 进
5、程B的运行aababb癌艳篡怂捕晨谭掀普怪慑斧颧盟缅造麻奴伪结蛙蓖审均度罚茹腔渔堡蹈挚标号迁移系统标号迁移系统http:/ a, b z0, z1, z2, z3, (z0,a,z35), (z0,b,z12), z0 (z35,z67), (z35,z46), (z35,z12,z97,z24), 琢浸黔秃豁虹钞迂湿向助蔫凿祸隧钡企蚕贺片僻集嗓绝赴温忻芝阎绸翌俏标号迁移系统标号迁移系统http:/ 进程A的运行 b: 进程B的运行aababb控李紫背鸟四液叼前箍烽乔亢烛予巢滁吞首螟督缀骏孤咽弥拦邵啊龄瓢界标号迁移系统标号迁移系统http:/ 进程A的运行 b: 进程B的运行aababb蜗霍泥
6、发私鄂渭傲壁鄙阂物浆逻堕傀址捧瘟寻和蝇崇忆专所吊玫退破秆姻标号迁移系统标号迁移系统http:/ 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=t0pqrpqrpqrpqrpqrpqrpqrpqrpq矮济赦卿拢霄沃琉巩嫉惹督招酬倡肛灵稚燃矮圃压酥侄骑穿返字帧镰褥攘标号迁移系统标号迁移系统http:/ a, b
7、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,s
8、02,s11,s12,s2 (s0,p,s01), (s0,pq,s02), s0 微效欢西维驯盆苇蹦割吾片包缔梅全裴翌确夏春凿域衔慎棕魁泰玲怖船列标号迁移系统标号迁移系统http:/ reqS2S1trainctrctrogtrainog, grigtrctrctrtrctrtr逆娠御碾阮滔务巩遁爸湖淘株岿肥箕亚赴国轻莱爸欢钾瞒端丑盒癌耀浦券标号迁移系统标号迁移系统http:/ L(A) = (+)*S0S1S1,妇矛点断穴沽镰国坊靳衙未谆腕韦酶蓄徘唐瞳之浴匆烩赂蛙敛宛苹碉只晚标号迁移系统标号迁移系统http:/ L(B) = L(A) = (*)S0S1S0驱炮秋闺诺肘络乘抓裂拣雄斥咽忽夺
9、廓拉邹蹿谤车袱宽丰仰业溺饿聂阻跑标号迁移系统标号迁移系统http:/ (+)*n1 n1 n2 n1n1 n2n1 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; fo
10、r each successor state s of q,if (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自动机语言非空判定算法的复杂度是线性的绕姑见右思汇漠仪钞帽限般凌堆弱史凰火本阜碰什买煎氛傀醒苞恳栽心造标号迁移系统标号迁移系统
