Tôi tin rằng hầu hết các trình so khớp biểu thức chính quy được giải thích đều bắt đầu bằng thuật toán xây dựng của Thompson để biến biểu thức chính quy thành một automata hữu hạn không xác định. Bài báo mô tả lần đầu tiên là: Ken Thompson, "Kỹ thuật lập trình: Thuật toán tìm kiếm biểu thức chính quy", Truyền thông của ACM , 11 (6): 419-422, tháng 6 năm 1968. Nhưng bài báo đó hơi khó đọc, vì ông đã được biên dịch thành mã máy.
Hướng dẫn yêu thích của tôi về triển khai biểu thức chính quy là loạt bài viết trên blog của Russ Cox , tác giả của thư viện biểu thức chính quy RE2. Ông đưa ra rất nhiều cuộc thảo luận lịch sử. Ông lập luận rằng cách tiếp cận hiệu quả nhất để mô phỏng NFA là chuyển đổi sang DFA một cách nhanh chóng với bộ nhớ đệm của các trạng thái DFA mà bạn thực sự đạt được. . Chỉ sử dụng quay lui khi bạn cần.
Nơi khác mà bạn có thể tìm là thư viện biểu thức chính quy của Henry Spencer . Theo trang web đó, điều này đã được mô tả trong cuốn sách: Dale Schumacher (chủ biên), Giải pháp phần mềm trong C , Nhà xuất bản học thuật, 1994.