def doesItHalt(programString, dataString): # # thousands of hours of programmer effort # yielding lots of code that # 1) reads and analyzes the programString argument # 2) reads and analyzes the dataString argument # and perhaps does all kinds of computations, even # simulating the running of the program defined by # programString on dataString, # and then, finally, will # return Yes if the program encoded in programString stops # when given dataString as input return "Yes" # # return "No" otherwise #return "No"