Hình 3.24. Các phép toán trên các trạng thái NFA.
Trước khi thấy ký hiệu nguyên liệu đầu tiên, N có thể ở trong một trạng thái bất
kỳ thuộc tập e-closure(sa), trong đó sọ là trạng thái khởi đầu của . Giả sử rằng chỉ các trạng thái trong tập 7 là có thế đến được từ s trên một dãy ký hiệu nguyên liệu đã cho, và gọi œ là ký hiệu kế tiếp. Khi thấy a, có thể di chuyển đến một trong các trạng thái thuộc tập zmoue(T, a). Khi cho phép dùng cả các c-chuyển vị, W có thể ở một
trong những trạng thái của tập e-closure(noue(T, a)) sau khi đọc a.
Chúng ta xây dựng 2sfz¿es, tập trạng thái của D, và Øfron, bảng chuyển vị cho D
bằng cách sau đây. Mỗi trạng thái của D tương ứng với một tập trạng thái DEFA mà W
có thể đến được sau khi đọc một chuỗi ký hiệu nguyên liệu nào đó có chứa tất cả các e- chuyển vị trước hoặc sau khí các ký hiệu được đọc. Khởi trạng của Ð là s-closure(sg).
Các trạng thái và chuyển vị được thêm vào Ð bằng thuật toán của Hình 3.25. Một
trạng thái của D là trạng thái kiếm nhận nếu nó là một tập trạng thái NEA chứa ít
nhất một trạng thái kiểm nhận của N.
Việc tính e-ciosure(T) chính là quá trình tìm kiếm các nút có thể đến được từ một.
tập nút đã cho trong một đồ thị. Trong trường hợp này, các trạng thái của 7 là tập nút
đã cho và đồ thị chỉ bao gồm các cạnh có nhãn e của NFA. Một thuật toán đơn giản tính e-ciosureCT) có dùng một chồng xếp (stack) để lưu trạng thái có các cạnh chưa