Thành lập ÔHĐ đoán nhận ngôn ngữ nào đó

Câu này đầu tiên phải có phần diễn giải và được trình bày theo dạng
sau:
Ví dụ 1: Lập ÔHĐ đoán nhận ngôn ngữ gồm các xâu trên bảng chữ
{0, 1} kết thúc bởi 00.
Ngôn ngữ L trên bảng chữ {0, 1} gồm các xâu kết thúc bởi 00 là tập
các xâu được ghép từ hai xâu ω và 00, trong đó ω là xâu bất kỳ trên bảng
chữ {0, 1}. Tức là ta có thể viết như sau:
L = {ω 00 | với ω ∈ {0, 1}* }
Khi xâu ω= e thì có nghĩa ÔHĐ cần xây dựng tối thiểu phải đoán
nhận được xâu 00, tức là phải có tối thiểu 3 trạng thái và trạng thái thứ 3
là trạng thái kết thúc.
Trên cơ sở đó, ta xây dựng được otomat hữu hạn đơn định đoán
nhận ngôn ngữ đã cho là:
M = (∑, Q,∂, A, F), trong đó:
- ∑ = {0, 1}
- Q = {A, B, C}
- A là trạng thái đầu
- F = {C}
- Hàm chuyển ∂ được biểu diễn bởi biểu đồ chuyển sau:

1 1
0
Đầu 0 0
A B C 0

1
Ví dụ 2: Lập ÔHĐ đoán nhận ngôn ngữ gồm các xâu trên bảng chữ
{0, 1} không chứa xâu con 101.
Ngôn ngữ L trên bảng chữ {0, 1} gồm các xâu không chứa xâu con
101 thì ít nhất phải đoán nhận các xâu: ε , 1, 10 và không đoán nhận xâu
101.
- Để đoán nhận xâu e thì trạng thái đầu phải là trạng thái kết thúc.
- Để đoán nhận xâu 1thì trạng thái thứ 2 phải là trạng thái kết thúc.
- Để đoán nhận xâu 10thì trạng thái thứ 3 phải là trạng thái kết thúc.
- Để không đoán nhận xâu 101thì trạng thái thứ 4 không phải là
trạng thái kết thúc.
Trên cơ sở đó, ta xây dựng được otomat hữu hạn đơn định đoán
nhận ngôn ngữ đã cho là:
M = (∑, Q, ∂, A, F), trong đó:
- ∑ = {0, 1}
- Q = {A, B, C, D}
- A là trạng thái đầu
- F = {A, B, C}
- Hàm chuyển ∂ được biểu diễn bởi biểu đồ chuyển sau:

0 0 0,1
0
Đầu 1 0 1
A B C D