This is fine. We just need to see how well the encodings which treat AB as a one symbol and as two symbols tend to systematically work in figuring out which things are likely to be true and compare the results. This is what I’m talking about here:
Consider how we came to the modern notion of computational complexity in the first place. Occam’s Razor used to be a theistic argument. There were times when saying “God did it!” was universally considered extremely simple. And while nowadays there are still some people confused by it, the sanity waterline has risen tremendously. How did that happen, I wonder?
You still have here UTM problem. There are encodings which encode AB as one symbol and A as two, reversing probabilities.
This is fine. We just need to see how well the encodings which treat AB as a one symbol and as two symbols tend to systematically work in figuring out which things are likely to be true and compare the results. This is what I’m talking about here: