Design a Turing machine that accepts a string of a and b where the number of a's is one more than the number of of b's? first write the outline then the draw the diagram.

For alphabet {0, 1}, the behavior of a Turing machine M can be described as follows: 1. Scan the tape and mark the first O that has not been marked. If no unmarked 0 is found, go to stage 4. Otherwise, move the head back to the front of the tape. 2. Scan the tape and mark the first 1 that has not been marked. If no unmarked 1 is found, reject. 3. Move the head back to the front of the tape and go to stage 1. 4. Move the head back to the front of the tape. Scan the tape to see if any unmarked 1s remain. If none are found, accept; otherwise, reject. The correct statements are: L(M) = {w|w contains more Os than 1s} OL(M) = {w|w contains less Os than 1s} OL(M) = {w|w contains an equal number of Os and 1s}

Design a Turing machine M that decides the language L = {0"1" |n> 1}.

Question 7: Turing Machines (a) Draw the state diagram of a Turing Machine, that converts every 'a' to 'b', and every 'b' to 'a', except for the last alphabet. Also, it goes to the accept state if the last alphabet is 'a', and goes to the reject state if the last alphabet is 'b'. Hint: Convert everything until you reach the end (blank symbol), then take one step backward and convert the last alphabet again. As you converted the last alphabet twice, it ensures that the last alphabet was not changed. Then stop and depending on what the last alphabet is, now finally, go to the accept or reject state.