| Next | You can't get there from here | 27 |
Given source code $CODE and an input $INPUT
Will the function defined by $CODE halt when given input $INPUT?
And we want a method that always produces the correct answer
How do we solve this?
| Next | |
Copyright © 2005 M. J. Dominus |