“…Hence, P m,n (t) can be obtained knowing P m−1,n (t) with m ∈ 1, ..., M and P 0,n (t), can be estimated from P M,n−1 (t). Both, using, using the closed recurrence expression: As we explained before [22], this infinite set can be projected into a finite set using the known Finite State Projection (FSP) algorithm [23]. Using this approach, the number of equations in (24) are truncated up to a maximum divisions N and the number of possible division states is now finite.…”