User blog comment:Alemagno12/Ordinals in programming languages part 1: Brainfuck/@comment-1605058-20170319195359/@comment-1605058-20170323180919

I agree that as it stands, this language can't create w^2 not any larger ordinal. However, making claims about what the values of some programs are is unjustified without specifications on how the language works. More specifically, one has to specify exactly what the result of w- is (if you say w-1, then there is a lot to be specified about what kind of values the cells can hold) and, if we assume time progresses in ordinal-indexed steps, one has to specify how the cell pointer's position, program pointer's position and cells' contents behave on limit stages.