TBMS

超限 BMS（Transfinite BMS）是 BMS 的平凡扩展。更强的 TBMS 有 BTBMS、DBMS 等。

定义

使用 $n^{\alpha }$ 表示连续的 $\alpha$ 行 n。位于后继序数行的项的父项、祖先项定义同 BMS；位于极限序数行的项的父项列标为同一列、行数小于它的项父项列标的下确界。LNZ（末列最后一个非零项，Last non zero）位于后继序数行时，展开同 BMS；LNZ 位于极限序数行时，不展开，取末列行标的基本列。

分析

主条目：Y 序列 vs TBMS