User:Alemagno12/BMS Central/BM2

BM2 is the second version of BMS. It was made by Bashicu.

As BM1 doesn't terminate, Bashicu had to make this version to redefine the notation and fix the infinite loops. No one has proved that BM2 doesn't terminate yet.

Definition
coming once rpakr explains it to me

Just a warmup (up to ε0 = ψ(Ω))
[WIP]