《《标号迁移系统》PPT课件.ppt》由会员分享，可在线阅读，更多相关《《标号迁移系统》PPT课件.ppt（49页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、 标号迁移系统http:/ b:进程B的运行http:/ b:进程B的运行aababbhttp:/ 标号迁移系统http:/ 标号迁移系统动作信息系统状态状态变化初始状态符号抽象状态三元组状态集合 标号迁移系统http:/ 标号迁移系统：例子标号集合：状态集合：迁移关系：初始状态集：a,b z0,z1,z2,z3,(z0,a,z35),(z0,b,z12),z0 http:/ b:进程B的运行aababbhttp:/ b:进程B的运行aababbhttp:/ Bchi自动机http:/ z0,z1,z2,z3,(z0,a,z35),(z0,b,z12),z0 z12,z20,z46,http:
2、/ z35 z67 z97 z0 z35 z46 z78 a a a a b b 语言：(a|b)的子集http:/ b:进程B的运行aababbhttp:/ b:进程B的运行aababbhttp:/ z0,z1,z2,z3,(z0,a,z35),(z0,b,z12),z0 z12,z20,z35,z67,http:/ b:进程B的运行aababbhttp:/ b:进程B的运行aababbhttp:/ z0,z1,z2,z3,(z0,a,z35),(z0,b,z12),z0 (z35,z67),(z35,z46),(z35,z12,z97,z24),http:/ b:进程B的运行aababbh
3、ttp:/ b:进程B的运行aababbhttp:/ 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:/ q:b=t0 r:t=0 s:a=s0b=t0pqrpqrpqrpqrpqrpqrpqrpqrpqhttp:/ z0,z1,z2,z3,(z0,a,z35),(z35,b,z46,z47),z0 http:/ (s0,p,s01),(s0,pq,s02),s0 http:/ L(A)=(+)*S0S1S1,http:/ L(B)=L(A)=(*)S0S1S0http:/ n1 n2 n1
4、n1 n2n1 n2 n3 无限多个、无限多次经过接受状态http:/ each initial state s I,if(s is not in A)add s to W;dfs1();http:/ element from W;add q to A;for 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:/ 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:/