Comment Comment by d66 interesting!what would [ab]* be? for computing an ordinal number the only real difficulty is how to handle kleene star: given ord(X) how do we calculate ord(X*)?but as you probably noticed i'm a bit out of my depth when dealing with ordinals. parent d66 3 years ago
what would [ab]* be? for computing an ordinal number the only real difficulty is how to handle kleene star: given ord(X) how do we calculate ord(X*)?
but as you probably noticed i'm a bit out of my depth when dealing with ordinals.