Thành lập ÔH tương đương với BTCQ nào đó

Câu này đầu tiên phải có phần diễn giải bản chất của BTCQ và được
trình bày theo dạng sau:
Ví dụ: Lập ÔH tương đương với BTCQ sau:
(ab + ba)*b(a + bb)
BTCQ (ab + ba)*b(a + bb) tạo nên từ phép ghép tiếp của 3 BTCQ:
(ab + ba)* , b, a + bb.
- BTCQ (ab + ba)* tạo nên từ phép lặp của BTCQ ab + ba
+ BTCQ ab + ba tạo nên từ phép hợp của hai BTCQ: ab, ba
BTCQ ab chỉ định tập {ab}
BTCQ ba chỉ định tập {ba}
- BTCQ b chỉ định tập {b}
- BTCQ a + bb tạo nên từ phép hợp của hai BTCQ: a, bb
+ BTCQ a chỉ định tập {a}
+ BTCQ bb chỉ định tập {bb}
Trên cơ sở đó, ta xây dựng được ÔH tương đương với BTCQ đã
cho là:
M = (∑, Q,∂, A, F) trong đó:
- ∑ = {0, 1}
- Q = {A, B, C, D, E}
- A là trạng thái đầu
- F = {E}
- Hàm chuyển ∂ được biểu diễn bởi biểu đồ chuyển sau:

1
2