バシク行列公理による全てのBMSを分類する。
コンベンション[]
ドメイン、界、門、綱、目、科、属、種によって分類する。上科や下属のような細かい分類を使うこともある。
一覧[]
- 非BMSドメイン -- BMSではないもの。
- BM1界 -- (0,0)(1,1)(2,1)(3,1)(2,0)(1,1)(2,1)(3,1)のbad rootが4であるもの。全てのBM1界の行列システムは停止しないことが知られている。
- BM3.1.1界
- 現在BM3.1.1のみが知られている。
- BM3.1界 -- (0,0,0)(1,1,1)(2,0,0)(1,1,1)が(0,0,0)(1,1,1)(2,0,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,1)(4,2,0)...と展開されるもの。
- 現在BM3.1のみが知られている。
- BM3界 -- (0,0,0)(1,1,1)(2,1,1)(1,1,1)が(0,0,0)(1,1,1)(2,1,1)(1,1,0)(2,2,1)(3,1,1)(2,2,0)(3,3,1)(4,1,1)...と展開されるもの。
- 現在BM3のみが知られている。
- BMSドメイン
- BM2界 -- (0,0,0)(1,1,1)(2,1,0)(1,1,1)が(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(2,2,0)(3,3,1)(4,3,0)...と展開されるもの。
- BM3界 -- (0,0,0)(1,1,1)(2,1,0)(1,1,1)が(0,0,0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,1)(4,1,0)...と展開されるもの。