Nama : Evan Flobert

NIM : 24010315130077

Buku 4, hal. 236

1. Determine what the Turing machine in Example 9.7 does when presented with the
inputs aba and aaabbbb. (no.3)
Jawaban :
a. Input : aba
δ(q0,a) = (q1,x,R),
δ(q1,b) = (q2,y,L),
δ(q2,x) = (q0,x,R),
δ(q0,y) = (q3,y,R),
δ(q3,a) = HALT.

I.D. :
q0aba ⊢ xq1ba ⊢ q2xya ⊢ xq0ya ⊢ xyq3a ⊢ HALT
∴ aba tidak diterima

b. Input : aaabbbb
δ(q0,a) = (q1,x,R),
δ(q1,a) = (q1,a,R),
δ(q1,a) = (q1,a,R),
δ(q1,b) = (q2,y,L),
.
.
δ(q3,y) = (q3,y,R),
δ(q3,y) = (q3,y,R),
δ(q3,b) = HALT.

I.D. :
q0aaabbbb ⊢* xxxyyyq3b ⊢ HALT
∴ aaabbbb tidak diterima, karena L = {anbn|n ≥ 1}

2. What language is accepted by the machine M = ({q0,q1,q2,q3},{a,b},{a,b,□},δ,q0, □,{q3})

with (no.5)
δ(q0,a) = (q1,a,R),
δ(q0,b) = (q2,b,R),
δ(q1,b) = (q1,b,R),
δ(q1, □) = (q3, □,R),
δ(q2,b) = (q2,b,R),
δ(q2,a) = (q3,a,R).

Ilkom - 27/Mei/2018 - 21:40.

Nama : Evan Flobert
NIM : 24010315130077

r = ab* + bb*a
∴ L = {abn | n ≥ 0} ∪ {bma | m ≥ 1}

3. Design Turing machines to compute the following functions for x and y positive integers
represented in unary
a. f(x) = 3x (no. 11a)

M = ({q0,q1,q2,q3,q4,q5},{1,$},{1,$,□},δ,q0, □,{q3})

Ilkom - 27/Mei/2018 - 21:40.

Nama : Evan Flobert
NIM : 24010315130077

b. f(x,y) = 2x + 3y (no. 11 c)

M = ({q0,q1,q2,q3,q4,q5},{1,i,ii},{1,I,ii,□},δ,q0, □,{q5})

Buku 2, hal 205

4. Explain “Turing machine as acceptors”. (no.9)
Mesin turing dapat dipandang sebagai penerima dalam pengertian berikut.
Sebuah string w ditulis pada tape, dengan blank mengisi bagian yang tidak digunakan.
Mesin dimulai dalam keadaan awal qo dengan kepala read-write yang diposisikan pada
simbol paling kiri dari w. Jika, setelah rentetan pergerakan, mesin Turing memasuki
keadaan akhir dan berhenti, maka dianggap diterima (accepted).

Ilkom - 27/Mei/2018 - 21:40.