(q1, a, q2). Chúng ta loại bỏ cung rỗng từ q0 đến q1 và thêm vào cung từ q0 đến q2 với nhãn là a. Tiến hành tương tự với các cung rỗng từ q0 đến q3, q6, q9, q13. Tiếp theo, ta loại bỏ các đỉnh không đến được từ trạng thái q0 và các cung đi ra từ các đỉnh đó. Các đỉnh q1, q3, q6, q9, q13 và các cung (q1, a, q2), (q3, a, q4), (q6, a, q7), (q9, b, q10), (q13, b, q14) bị loại bỏ.
Với cung rỗng từ q2 đến q18, chúng ta tìm được các cung đi vào q2 là (q0, a, q2). Chúng ta tiến hành loại bỏ cung rỗng từ q2 đến q18 và thêm vào cung từ q0 đến q18 với nhãn là a. Tiến hành tương tự cho các cung rỗng từ q5, q8, q12, q17. Tiếp theo ta loại bỏ tất cả các đỉnh không đến được đỉnh kết từ đó và các cung vào tương ứng với các đỉnh đó.
Đánh số lại thứ tự các đỉnh chúng ta thu được đồ thị tương ứng đã loại bỏ các quy tắc rỗng được mô tả trong hình 3.7–a.
Hình 3.7–a: Ôtômát đã loại bỏ quy tắc rỗng. q0 q0 q1 q2 q3 q4 q5 q6 q7 a a a c b c a b b c a b q8
2) Đơn định hóa ôtômát (theo thuật toán 3.7)
Xây dựng ôtômát M′ = (Q′, , ′, q0′, F′) đơn định, tương đương với ôtômát trên hình 3.7–a. Chúng ta xây dựng các quy tắc chuyển trạng thái của M′ như sau:
Chúng ta xây dựng các quy tắc chuyển trạng thái đến các phần tử kế tiếp theo thuật toán 3.7, bắt đầu từ tập trạng thái khởi tạo {q0}, ký hiệu [q0]. Ta thấy từ [q0] có thể đến được [q8, q1, q2] qua các cung với nhãn là a và đến được [q3, q5] qua các cung với nhãn là b. Các tập trạng thái [q8, q1, q2], [q3, q5] được kết nạp vào tập trạng thái Q′ của ôtômát M′. Từ trạng thái [q8, q1, q2] có thể đến được trạng thái [q8] qua các cung với nhãn là b và c. Trạng thái [q8] được kết nạp vào Q′. Tiến hành tương tự như trên cho đến khi Q′ không có sự thay đổi thì chúng ta thu được ôtômát đơn định M′ với tập trạng thái kết F′ = { [q1, q2, q8], [q8] }, đánh số lại các trạng thái của ôtômát M′ ta thu được đồ thị chuyển trạng thái được mô tả trong hình 3.7–b.