Initialisation \(i = 0\): \(V_0(0) = 0\), \(V_k(0) = -\infty\) for \(k>0\).
Recursion \(i = 1,\ldots,L\): \(V_l(i) = E_l(x_i) + \max_k(V_k(i-1) + A_{kl})\).
\(Pointer_i(l) = \arg \max_k(V_k(i-1) +A_{kl})\)
Termination: \(P(x,\pi^*) = \max_k (V_k(L) + A_{k0})\).
Traceback \(i = L,\ldots,1\): \(\pi^*_L = \arg \max_k(V_k(L) + A_{k0})\).
\(\pi_{i-1}^* = Pointer_i(\pi_i^*)\).