It exploits recursion in the calculations to avoid the necessity for exhaustive calculation of all paths through the execution trellis.

• 它在计算中使用了递归的方法来避免穷举计算所有路径的必要。