next up previous
Next: Approx Trs Menu Up: Trs Menu Previous: Normal and external normal

Forward-branching

One can check whether a system is forward-branching [1] by using either the cubic algorithm derived from the characterization of forward-branching system or the quadratic construction of a forward-branching index-tree. One can transform a forward-branching TRS to a constructor system in CBNs using the two algorithms presented in [9].



Irene DURAND
2005-02-01