武汉标牌制作-武汉标识标牌制作

关于一个给定的测验武汉标识标牌制作调查序列，若是两个过错都能够致使被测体系结尾停留在相同状况，则称这两个过错是等价的。

过错类型假定假定被测体系只要一个完成过错，且只能够是以下两种过错类型：输出过错：指变换头状况，结束状况，输入同状况机标准的描绘相同，而输出不相同。尾状况过错：指变换的头状况，输入，输出同状况机标准描绘相同，而结束状况不相同。

过错标识标牌首要运用过错检测算法检测过错，过错检测算法经过获取被迫调查序列并联系协议状况机标准，对被测体系的当时所在的能够状况进行估测，若被测体系在经过若干次观测后，当时的能够状况调集为空，，它在第k步检测到体系过错后，持续向前调查若干步，能够减小调集（Lk）R的规划，如上例，在被迫检测完成后，持续向前调查两步得到序列c/3，a/4，因此能够核算出（Lk）R={s2}，再运用过错武汉标识标牌制作算法进行过错标识标牌后得到能够过错调集{s0→a/4s1，s2→a/4s1}.该算法能够减小能够过错调集规划，但该算法需求持续向前调查m步的进程中体系不能再次遇到过错，不然（Lk）R调集能够为空，怎么挑选适宜的m变得较为艰难。别的算法无法进一步区别等价过错（{s0→a/4s1，s2→a/4s1}是等价过错）。

这篇文章的办法下面评论一种办法能够对武汉标识标牌制作算法进行扩大，在符号过错的进程中记载该过错所致使的体系状况，再以该状况为初始状况持续向前调查多步以区别过错，增强后的办法能够区别等价过错，并能够处置持续向前调查时会再次遇到过错的疑问。标识标牌进程结束后，每一个被标识标牌的能够过错都会致使被测体系停留在特定的结束状况，若是持续对被测体系调查，体系的当时能够状况聚会持续减小，体系结尾的能够状况调集为空。如上例在持续向前调查到c/3，a/4，d/2后，状况s0和状况s2都无法阅历三步变换后抵达恣意状况，致使该疑问呈现的原因是体系再次遇到过错，但若是思考到过错只能够是已标识标牌过错会集的元素时，能够思考分别用已标识标牌过错会集的元素去交换原有状况机中的相应变换。而做了过错交换后，就不应当再思考不是该过错所致使的状况的变换了。例如用s0→a/4s1去交换s0→a/4s0时就不应当思考状况s0的变换，由于该个过错致使系统在武汉标识标牌制作结束后只能够处于状况s2。有了该思维后，下面给出算法的详细描绘，并联系实例进行剖析。

持续向前调查m步区别过错过错标识标牌算法履行结束，得到每一个能够过错所致使的成果状况s后，能够持续向前调查，开端过错检测进程，思维即是用该个过错去交换状况机标准中的相应的变换，被测体系以上面得到的状况s作为初始状况，若是阅历进程x步（x≤m）变换后呈现过错，则该个过错必定不是体系完成过错

定论这篇文章给出一个过错标识标牌的?%A