Comment Comment by DannyBee The halting problem is also decidable for finite memory machine, like our real ones, so ... parent DannyBee 13 years ago