Patent ID: 9002899
Filing Date: 2015-04-07
Classification: G06F

Abstract:
1. A method of merging at least two state machines, the method comprising recursively performing a merge function on a processor in order to merge a first state machine and a second state machine into a third state machine, the merge function including steps of: receiving a first node of the first state machine, a second node of the second state machine and a depth as inputs; initializing a new depth of the third state machine to an infinity and a first list of strongly connected nodes of the third state machine to an empty list; for each particular transition of a union of transitions in the first state machine and transitions in the second state machine: adding a combination node that includes the first and second nodes to the first list of strongly connected nodes in response to determining that the new depth is less than or equal to the input depth; returning the input node pair and the first list of strongly connected nodes in response to determining that the new depth is less than the input depth; and returning the input node and an empty list of strongly connected nodes in response to determining that the new depth is equal to the input depth.