優先順位ベクトル加算システムの平坦性

優先順位ベクトル加算システムは半線形な到達可能性関係を持ち、また平坦化可能である。