状态表化简

状态转换表的简化1、观察法简化状态等价的判别方法：Sn+1/ZnXSn01ABCDB/0C/0E/1C/0D/0A/0E/1A/0EE/1C/0FG/1E/0GF/1E/0同样输入的条件下前提条件：输出必须相同，然后看次态是否等价1）次态相同或某些次态和各自的现态相同；2）次态交错如F和G，记为[F，G]3）次态互为隐含条件A、C等价取决B、D，称B、D等价是A、C等价的隐含条件同理，A、C等价是B、D等价的隐含条件A、C和B、D互为隐含，A与C、B与D等价即[A，C]，[B、D]B、E等价，记为[B、E]关键找等价态由于[B，E]，而[B，D]，则[D，E]。称它们为等价类相互等价状态的集合将[B，D，E]称为最大等价类。不被其它等价类所包含Sn+1/ZnXSn01ABCDB/0C/0E/1C/0D/0A/0E/1A/0EE/1C/0FG/1E/0GF/1E/0简化Sn+1/ZnXSn01ABB/0A/0B/1A/0FF/1B/0得[A，C]、[F，G]、[B，D，E]简化的实质：寻找所有的最大等价类，将等价态合并，得最简状态表，以使设计电路最简2、隐含表法简化系统的比较方法X1X2SnA00011110BCDEFGHD/0D/0F/0A/0C/1D/0E/1F/0C/1D/0E/1A/0D/0B/0A/0F/0C/1F/0E/1A/0D/0D/0A/0F/0G/0G/0A/0A/0B/1D/0E/1A/0Sn+1/Zn例子ABCDEFGBCDEFGH第一步作隐含表少尾缺头1）作隐含表2）顺序比较BDAFDGAFAFDFAFBCAFDFBCBDBGAFDGAFBCDF状态不等价填“”状态等价填“”取决隐含条件的--将条件填在格中第二步关连比较ABCDEFGBCDEFGHBDAFDGAFAFDFAFBCAFDFBCBDBGAFDGAFBCDFX1X2SnA00011110BCDEFGHD/0D/0F/0A/0C/1D/0E/1F/0C/1D/0E/1A/0D/0B/0A/0F/0C/1F/0E/1A/0D/0D/0A/0F/0G/0G/0A/0A/0B/1D/0E/1A/0Sn+1/Zn例子继续检查填有隐含条件的那些方格。若检查发现所填的隐含条件肯定不能满足，就在该方格内打“×”ABCDEFGBCDEFGHBDAFDGAFAFDFAFBCAFDFBCBDBGAFDGAFBCDF第三步寻找最大等价类未打“×”的方格，都代表一个等价状态对由此得到全部等价对：[A，F]、[B，H]、[B，C]、[C，H]全部最大等价类：[A，F]、[B，C，H]、[D]、[E]、[G]第四步状态合并，得最简状态表Sn+1/ZnX1X2SnA00011110BDEGD/0D/0A/0A/0C/1D/0E/1A/0D/0B/0A/0A/0B/1A/0E/1A/0G/0G/0A/0A/0用A表示用B表示构成等价类[B、C、H]