EXTRACTING DEVICE FOR DIFFERENCE OF STATE TRANSITION DIAGRAM

摘要

PURPOSE:To mechanically calculate the difference between two state transition diagrams with no manual operation by calculating the logical difference between the state transition information. CONSTITUTION:The state transition storage means 11 and 12 store the state transition information using the nodes and the arcs as the elements. A state transition comparator means 13 compares the stable state of the state transition information stored in the means 11 with that stored in the means 12 and extracts the difference between both stable states. Then the means 13 extracts the difference of transition between the stable states of the state transition information stored in both means 11 and 12 and the next state.