Question: Consider the Turing machine, M , shown below. ( Grafstate code for this machine is: ) : + tm TM 1 Q = { q

Consider the Turing machine, M, shown below.
(Grafstate code for this machine is: )
:+tm TM1
Q={q0,q1,q2,q3,q4,q5,q6,q7,qa,qr}
S={a,b,c}
T={a,b,c,\_,X,$}
q0=q0
q0->q1: a->$,R
q0->qr: b->b,R
q0->qr: c->c,R
q0->qr: \_->\_,R
q1->q1: X->X,R
q1->q2: b->b,R
q1->q2: c->c,R
q1->q3: a->X,L
q1->qa: \_->\_,L
q2->q2: b->b,R
q2->q2: c->c,R
q2->q2: X->X,R
q2->q3: a->X,L
q2->qr: \_->\_,L
q3->q3: b->b,L
q3->q3: c->c,L
q3->q3: X->X,L
q3->q4: $->$,R
q4->q4: a->a,R
q4->q4: c->c,R
q4->q4: X->X,R
q4->q5: b->X,L
q4->qr: \_->\_,L
q5->q5: a->a,L
q5->q5: c->c,L
q5->q5: X->X,L
q5->q6: $->$,R
q6->q6: a->a,R
q6->q6: b->b,R
q6->q6: X->X,R
q6->q7: c->X,L
q6->qr: \_->\_,L
q7->q7: a->a,L
q7->q7: b->b,L
q7->q7: X->X,L
q7->q1: $->$,R
(a)7 points Show the computation of the string abac in this machine.
Note, abac inL(M).
q0abac|--$q1bac
|--
(b)8 points Show the computation of the string accba in M. Note,
accba /not in L(M).
q0 accba |-- $q1 ccba
|--
(c)8 points What is L(M)?

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!