Câu 1 :

a)
M=(Q, Σ, δ, q0, F)
Q = {0, 1, 2, 3, 4}
Σ = {a, b, c}
Hàm dịch chuyển : δ(0, a)=1, δ(1, a)=1, δ(1, b)=2, δ(1, c)=3, δ(2, b)=2,
δ(2, c)=3, δ(3, a)=4
q0 = 0
F = {4}
Bảng dịch chuyển
δ a b c

>0 1
1 1 2 3
2 2 3
3 4
*4

b)

aabbca : 0aabbca => 1abbca => 1bbca => 2bca => 2ca => 3a => 4  F => được
đoán nhận
abbbca : 0aabbca => 1abbca => 1bbca => 2bca => 2ca => 3a => 4  F => được
đoán nhận
abbaca : 0abbaca => 1bbaca => 2baca => 2aca => không đọc được tiếp => không
được đoán nhận

aaaca : 0aaaca => 1aaca => 1aca => 1ca => 3a => 4 F => được đoán nhận
Câu 2 :
a)
Bảng dịch chuyển
δ a b

>q0 q0 q1
q1 q0 q2
*q2 q2 q2
Biểu đồ dịch chuyển

b) L(M) = {w1bbw2 | w1, w2  {a, b}*}

Câu 3:
M=(Q, Σ, δ, q0, F)
a) Q= {a, b, c, d}
Σ = {0, 1}
Hàm dịch chuyển : δ(a, 0)= b, δ(b, 1)=c, δ(c, 0)= d, δ(d, 1)= c
q0 = a
F = {d}
b) Q= {a, b, c}
Σ = {0, 1}
Hàm dịch chuyển : δ(a, 0)= b, δ(b, 0)= b, δ(b, 1)= c, δ(c, 1)= c
q0 = a
F = {c}
c) Q= {a, b}
Σ = {0, 1}
 Hàm dịch chuyển : δ(a, 0)= a, δ(a, 1)= b, δ(b, 1)= b
q0 = a
F = {b}
d) Q= {A , B, C, D, E}
Σ = {a, b}
Hàm dịch chuyển : δ(A, a)= B, δ(B, b)= C, δ(C, a)= D, δ(D, a)= D, δ(D, b)=
E
q0 = A
F = {E}
e) Q= {1, 2, 3, 4}
Σ = {a, b, c}
Hàm dịch chuyển : δ(1, a)= 2, δ(2, b)= 3, δ(3, c)= 3, δ(3, b)= 4, δ(4, b)= 4
q0 = 1
F = {4}