Comment Comment by runT1ME We can write a general procedure to see it any given program halts within n-steps however. parent runT1ME 5 years ago