\( 2 / 6 \) Consider the Turing machine whose graph is depicted here: 1. Update the given graph as little as possible to obtain the graph of a Turing machine multiplication which takes two numbers \( n \) and \( m \) written as sequences of \( 1 s \) and returns the number \( n \) followed by the number \( m \) followed by their product. The numbers \( n, m \) and their product should be separated by the symbols of choice (avoid the blank symbol). \( [1] \) For example, if you choose \( \nabla \) and \( \nabla \) then input and output tapes may look as follows: \begin{tabular}{lllllllll} -1 & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ \hline\( |\wedge| \) & \( 1 \mid \) & \( 1 \mid \) & \( 0 \mid \) & \( 1 \mid \) & \( 1 \mid \) & \( 1 \mid \) & \( \wedge \mid \) & \( \wedge \mid \) \\ \hline & \( \uparrow \) & & & & & & & \end{tabular} \begin{tabular}{ccccccccccccccc} -1 & 0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13 \\ \hline\( |\wedge| \) & \( 1 \mid \) & \( 1 \mid \) & \( \nabla \mid \) & \( 1 \mid \) & \( 1 \mid \) & \( 1 \mid \) & \( 8 \mid \) & \( 1 \mid \) & \( 1 \mid \) & \( 1 \mid \) & \( 1 \mid \) & \( 1 \mid \) & \( 1 \mid \) & \( \wedge \mid \) \\ \hline & \( \uparrow \) & & & & & & & & & & & & & \\ \( q_{10} \) & & & & & & & & & & & & & \end{tabular}
Added by Jane C.
Close
Step 1
Choose symbols, such as \( \nabla \) and \( \diamond \), to separate the numbers \( n \), \( m \), and their product. Show more…
Show all steps
Your feedback will help us improve your experience
Dwijendra Rao and 78 other Discrete Mathematics educators are ready to help you.
Ask a new question
Labs
Want to see this concept in action?
Explore this concept interactively to see how it behaves as you change inputs.
Recommended Videos
Construct a Turing machine that computes the function $f\left(n_{1}, n_{2}\right)=n_{1}+n_{2}+1$ for all nonnegative integers $n_{1}$ and $n_{2} .$
Modeling Computation
Turing Machines
Construct a Turing machine with tape symbols 0, 1, and B that, given a bit string as input, replaces all but the leftmost 1 on the tape with 0s and does not change any of the other symbols on the tape.
Construct a Turing machine that computes the function $f\left(n_{1}, n_{2}\right)=n_{2}+2$ for all pairs of nonnegative integers $n_{1}$ and $n_{2} .$
Recommended Textbooks
Discrete Mathematics and its Applications
Higher Level Mathematics
Discrete Mathematics
18,000,000+
Students on Numerade
Trusted by students at 8,000+ universities
Watch the video solution with this free unlock.
EMAIL
PASSWORD