For clarification: I was imagining the the solver machine had the same number of resources as the problem machine (e.g. same length of tape, same number of stat

For clarification: I was imagining the the solver machine had the same number of resources as the problem machine (e.g. same length of tape, same number of states). I of course agree that there is a Turing machine that decides the computability of LBAs.