Its main goal is to provide complexity estimates by tracking numerically invariants of the structures that may occur.

• 它的主要目标是预防复杂性透过数量上跟踪可能发生的架构的不变量估计。