Comment by tromp

It can be solved if the memory is bounded. But unbounded memory comes with undecidable problems.