Hacker News new | ask | show | jobs
by mnarayan01 4880 days ago
> That is, if the controller could do that then it would solve the Halting Problem

The halting problem is actually decidable for limited-memory machines, though you need O(2^n) memory beyond the n-memory of the machine to actually decide it.