Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- T(n):
- return BB(n)
- halting_problem_solver(TM):
- n := number of states in TM
- BB_n := T(n)
- steps := 0
- in each step of TM() simulation:
- steps = steps + 1
- if steps > BB_n:
- return T will not halt!
- return T halts
Add Comment
Please, Sign In to add comment