The halting problem and therefore the acceptance problem are decidable for LBAs, but are the infinite extensions of these problems decidable?
Given a LBA, can you decide whether there exists an input on which the LBA halts? Given a LBA, can you decide whether the LBA accepts a certain non-empty, non-finite language?