Download to read offline
Uploaded byAndrea Valente
Paper turingmachine exercises
The document describes a Turing machine that adds two numbers represented in unary notation. It provides the state transition diagram for the Turing machine, which starts with the two unary inputs separated by a symbol. It transitions between states, writing symbols and moving the tape head left or right until it reaches the final state, leaving the sum of the two numbers in unary notation on the tape.
Paper turingmachine exercises
- 1. Symbols on thetape Add 1 (in unary) A if write move jumpTo A if write move jumpTo F Paper Turing Machine ( Andrea Valente Program www.create.aau.dk/av of the Turing Machine av@create.aau.dk )
- 2. Input is 2in unary: II A A A A if write move jumpTo A FINISH if write Output is 3 in unary: III time move jumpTo F
- 3. Subtract 1 (inunary) Fold Go Erase if write if write move move jumpTo Go jumpTo F if write move jumpTo Erase TASK Test this machine on the input 3 (in unary)
- 4. Invert and Inv if write move jumpTo Inv if write move jumpTo Inv if write move jumpTo F Consider: input = 1101 in binary, output = 0010
- 5. Is a unarynumber even? Input = 3 ---> output = No, not even Input = 2 ---> output = Yes, it is even! A A B B A A Y B F N TASK Design and test a TM for this F problem.
- 6. Check if thisproperty is true: “the second symbol is ” A ... Y FINISH
- 7. Addition in unary Designa Turing Machine that can add 2 unary numbers. Test it: on input 2 and 1, the output should be 3. A ... FINISH
- 8. Palindromes | semordnilaP Designa TM that decides if the tape contains a palindrom sequence. Test it on input . A ... Y FINISH
- 9. if write if write if write if write move move move move jumpTo jumpTo jumpTo jumpTo if write if write if write if write move move move move jumpTo jumpTo jumpTo jumpTo if write if write if write if write move move move move jumpTo jumpTo jumpTo jumpTo if write if write if write if write move move move move jumpTo jumpTo jumpTo jumpTo if write if write if write if write move move move move jumpTo jumpTo jumpTo jumpTo if write if write if write if write move move move move jumpTo jumpTo jumpTo jumpTo
- 10.