Name: ____________________________________________________ Alpha: _____________________

Describe help received: _________________________________________________________________

Problem 1

Suppose $M'$ is a TM created by our algorithm for simulating a JFLAP Turing Machine $M$, and suppose that machine $M'$ is in the situation depicted to the right.
  1. Write the JFLAP TM configuration (i.e. a tuple!) corresponding to the situation in the picture.
  2. Write TM configuration of $M'$ (i.e. a tuple!) corresponding to the situation in the picture.

Problem 2

Suppose we consider a JFLAP machine $M$ with $\Sigma = \Gamma = \{a,b,c\}$. Suppose $M$ is in state $q_3$ with tape and read/write head as shown below:
	        originally the first square of the input
	        |
	        V
        ... a b b c b □ c ...
	            ^read/write head
  1. Write the JFLAP TM configuration (i.e. a tuple!) of $M$ in this situation.
  2. Suppose $M'$ is a TM created by our algorithm for simulating a JFLAP Turing Machine $M$. Write the TM configuration of (i.e. a tuple!) of $M'$ when it is simulating the above situation.

Problem 3

Suppose $M'$ is a TM created by our algorithm for simulating a JFLAP Turing Machine $M$. If $M'$ is in configuration \[ \left( (q_3,-1) , \$(□,b)(a,□), (□,□), (b,□)(a,□)ab \right) \]
  1. Write the JFLAP TM configuration (i.e. a tuple!) of $M$ in this situation.
  2. Suppose in $M$ that $\delta(q_3,□) = (q_1,a,R)$. Write the configuration that TM $M'$ will be in one step later in the computation.