免费论文摘要：加权Moore机的同余与格值Moore机的约化

????? 自效果表面阐明了计划的数学模子，它是算法刻画和领会、计划搀杂性表面、可计划性表面等接洽的普通，它为计划表面供给了真实的数学模子.加权自效果是带有权重的非决定型自效果，那些权重不妨代办自效果运转中的用度，资源的耗费、功夫、胜利运转的几率或真实性.加权自效果在计划机科学范围有要害的表面和本质运用，囊括典范自效果的代数化处置、天然谈话处置、谈话辨别、数字图像收缩等上面.正文在加权自效果表面的普通上，精细接洽和计划了加权Moore机的同余和最小化题目，合格值Moore机的约化等题目. 正文的重要处事如次：????? 1.在加权自效果表面的普通上，接洽了加权Moore机的少许要害本质，T.Petkovic[1]应用代数表面本领接洽了朦胧自效果，计划了朦胧有穷自效果的同余同态.动作蔓延，正文开始设置了加权Moore机的同余与同态，给出了接洽同余和同态联系的同态定理，其次，证领会同余联系在加权Moore机中形成一个完美格，结果，在同余联系下给出了加权Moore机的商Moore机，并给出了求最小状况Moore机的算法.????? 2.提出了鉴于完美结余格的Moore机(简称格值Moore机)的情势化设置，精细计划了格值Moore机的一系列本质，给出了格值Moore机与它的商格值Moore机等价的前提.再设置了格值Moore机的右静止朦胧等价联系，阐明了右静止朦胧等价联系具备普遍性，证领会格值Moore机的同余联系不过格值Moore机右静止朦胧等价联系的一种特出景象.同声，计划了右静止朦胧等价联系在格值Moore机中不妨形成一个完美格.从而，在格值Moore机中就生存最大的右静止朦胧等价联系，为格值Moore机在右静止朦胧等价联系下具备最小化供给了表面按照.结果，给出了求最大格值Moore机右静止朦胧等价联系的算法和示例.???? 一致地，咱们给出了左静止朦胧等价联系的设置及求最大左静止朦胧等价联系的算法.对于一个格值Moore机，对它举行右约化后就不许再进前进一步的约化了，但是，它还不妨举行左约化. 在对一个格值Moore机的瓜代约化举行了有限步后，这个格值Moore机的状况数不复缩小，即为状况数的最小化.结果，举例考证了安排瓜代约化和右左瓜代约化下获得的格值Moore机的状况数是各别的，而且安排瓜代约化和右左瓜代约化的长度也是各别的.

来源：半壳优胜鲸鱼幸运星转载请保留出处和链接！

本文链接：http://87cpy.com/247254.html