Patent ID: 7133914

Claim:
A method for transforming one or more lists for a data communications system into a single list, each list of the one or more lists including a plurality of entries, the method comprising: removing non-terminating entries from the plurality of entries in the one or more lists, the removing each non-terminating entry removing all but a last non-terminating entry in any of the one or more lists; determining whether one or more entries of the plurality of entries provides for an impossible action, wherein each entry of the plurality of entries comprises an associated condition, and said determining comprises selecting a first entry of the plurality of entries, and for each entry of the plurality of entries except the first entry, determining whether the condition associated with the entry can be satisfied if a first condition associated with the first entry is satisfied, and identifying the entry as providing for an impossible action if the condition associated with the entry cannot be satisfied; and eliminating from the plurality of entries the one or more entries, if any, that provide for an impossible action, wherein the removing of non-terminating entries and the eliminating of the one or more entries that provide for an impossible action, if any, produce a single list preserving tracing of the entries in the single list to the plurality of entries.