This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: something along the lines of move to the end of the tape). M = “on input w 1. if w starts with a 1 2. move right until a symbol other than 1 is encountered 3. if the tape head points to ~ accept 4. else reject 5. else if the tape head does not start with a 0 reject 6. replace the 0 with X 7. move right past all 0’s and Y’s 8. if the tape head does not point to a 1 reject 9. replace the 1 with a Y 10. move left past all Y’s 11. if the tape head points to an X 12. move right once then move right past all Y’s 13. if the tape head does not point to a 1 reject 14. move right past all 1’s 15. if the tape head points to a ~ accept 16. else reject 17. else move left past all 0’s 18. move right 1 space 19. go to line 6”...
View Full Document
- Spring '11
- Halting problem, sj, Ebad