Phân loại tự động biểu thức chính quy đáng chú ý

Tôi đang cố gắng đưa ra một phân loại thuật toán để chuyển đổi các biểu thức chính quy thành automata để thực hiện một số thử nghiệm thực nghiệm về các tính chất phức tạp của chúng trong các miền cụ thể.

Tôi biết một số tên 'lớn hơn', vd

Thompson

"Thuật toán tìm kiếm biểu thức chính quy", Thompson, 1968

Glushkov

"Một thuật toán bậc hai mới để chuyển đổi biểu thức chính quy thành tự động", Ponty, et. al, 1996

Antimirov

"Các dẫn xuất một phần của biểu thức chính quy và các cấu trúc tự động hữu hạn", Antimirov, 1996

Theo

"Theo dõi Automata", Ilie, et. al, 2003;

"Tính toán tự động theo sau của một biểu thức", Champarnaud, et. al, 2002

Hromkovic

"Chuyển các biểu thức chính quy thành Tự động hữu hạn không điều kiện điện tử nhỏ miễn phí", Hromkovic, et. al, 2001

và các đặc tính phân biệt của chúng (epsilon-free-ness, tính xác định, kích thước, tối thiểu hóa, v.v.) nhưng tôi biết đây không phải là một danh sách đầy đủ.

Tôi đặc biệt quan tâm đến các thuật toán thể hiện độ phức tạp thời gian khác nhau đáng kể so với các thuật toán được liệt kê ở trên và / hoặc các cấu trúc liên kết khác nhau đáng kể.

Nếu bạn biết về những người khác, một liên kết đến một bài viết mô tả chi tiết thuật toán xây dựng sẽ được đánh giá rất cao (đọc là cần thiết nếu tôi sẽ triển khai nó!)

Chỉnh sửa: Đã thêm một số tài liệu tham khảo theo yêu cầu.

Watson (Tech. Rep. Univ. Eindhoven 1995) đã viết một phân loại về thuật toán xây dựng automata hữu hạn; một vài phát triển gần đây được tìm thấy dưới đây.

Đối với các NFA có chuyển đổi epsilon, cuốn sách lý thuyết phân tích của Sippu / Soisalon-Soininen (Springer, 1998) chứa một biến thể của cấu trúc của Thompson. Ilie và Yu (I & C 2003) và Gulan và Fernau (FSTTCS 2008) đưa ra các phiên bản tinh tế của cấu trúc cổ điển. Kích thước tối thiểu cần thiết của epsilon-NFA tương ứng với biểu thức chính quy được nghiên cứu thêm bởi Gruber và Gulan (LATA 2010). Cấu trúc của các bản vẽ cơ bản do việc xây dựng của Thompson được nghiên cứu bởi Giammarresi, Ponty, Wood & Ziadi (Discr. Appl. Math 2004) và bởi Gulan (Tech. Rep. Univ. Trier, 2010).

Về NFA không có epsilon, tôi muốn đề cập đến công trình trước đó của Berry & Sethi (TCS 1986) và bởi Brüggemann-Klein (TCS 1993), nhưng có lẽ được bao phủ bởi phân loại của Watson.

$n\cdot 2^{O(\log^*n)}$

Cũng lưu ý: Liên quan đến các thuật toán nhanh để kết hợp biểu thức chính quy, tôi biết về công việc gần đây của Bille và Thorup (ICALP 2009, SODA 2010). Họ sử dụng cấu trúc cổ điển của Thompson (cộng với tất nhiên nhiều thủ thuật để có được tốc độ).

Một thứ không được xem xét trong danh sách của bạn là Dẫn xuất biểu thức chính quy của Janusz Brzozowski, Tạp chí ACM 1964, gần đây đã được Scott Owens, John Reppy và Aaron Turon xem xét lại trong các dẫn xuất biểu thức chính quy được kiểm tra lại. Tạp chí lập trình chức năng (2009), 19: 173-190 , người cung cấp một triển khai thực tế về kỹ thuật cho một ký hiệu mở rộng cho các biểu thức thông thường.