Đây thực sự là một vấn đề cứng đầu - và được nghiên cứu kỹ lưỡng. Về kết quả tích cực, một thuật toán chính xác của Kameda và Weiner, một cách tiếp cận heuristic của Polák và một cách tiếp cận gần đây sử dụng bộ giải SAT của Geldenhuys et al. đến với ý nghĩ. Nhưng dường như có nhiều kết quả tiêu cực hơn loại trừ các cách tiếp cận khả thi khác (ví dụ: thuật toán xấp xỉ, trường hợp đặc biệt, mô hình NFA kém mạnh mẽ hơn, ...) Xem bên dưới để biết một số tài liệu tham khảo.
T. Kameda và P. Weiner. Về việc giảm thiểu trạng thái của automata hữu hạn không điều kiện. Giao dịch trên máy tính của IEEE, C-19 (7): 617 Lỗi627, 1970.
A. Malcher. Tối thiểu hóa automata hữu hạn là khó tính toán. Khoa học máy tính lý thuyết 327: 375-390, 2004.
L. Polák. Tối thiểu hóa NFA bằng cách sử dụng máy tự động phổ quát. Tạp chí quốc tế về nền tảng của khoa học máy tính, 16 (5): 999 Hàng1010, 2005.
G. Gramlich và G. Schnitger. Giảm thiểu NFA và biểu thức chính quy. Hội thảo chuyên đề về các khía cạnh lý thuyết của khoa học máy tính (STACS 2005), LNCS 3404, trang 399 đi411.
H. Gruber và M. Holzer. Tính không tương thích của trạng thái không xác định và độ phức tạp chuyển tiếp giả sử P <> NP. Những phát triển trong lý thuyết ngôn ngữ (DLT 2007), LNCS 4588, trang 205 trừ216.
H. Gruber và M. Holzer. Độ phức tạp tính toán của tối thiểu hóa NFA cho các ngôn ngữ hữu hạn và đơn phương. Lý thuyết và ứng dụng ngôn ngữ và tự động (LATA 2007), trang 261.
H. Bjorklund và W. Martens. Biên giới khả năng dễ dàng để giảm thiểu NFA. Hội thảo quốc tế về tự động, ngôn ngữ và lập trình (ICALP 2008), LNCS 5126, trang 27 Lời38.
J. Geldenhuys, B. van der Merwe, L. van Zijl: Giảm tự động hữu hạn không vô căn với máy giải SAT. Phương pháp trạng thái hữu hạn và xử lý ngôn ngữ tự nhiên (FSMNLP 2009), LNCS 6062, 81 Phản92.
EDIT (ngày 8 tháng 6 năm 2015)
Cập nhật: Bài viết sau đây trình bày một thuật toán heuristic để giảm kích thước của Büchi automata không phá hủy, cùng với các thí nghiệm trên automata ngẫu nhiên. Khi họ đưa ra kết luận, phương pháp của họ cũng áp dụng cho NFA: "Trong khi chúng tôi trình bày các phương pháp của mình trong bối cảnh Büchi automata, hầu hết chúng đều chuyển sang trường hợp automata đơn giản hơn các từ hữu hạn."
Richard Mayr, Lorenzo Clemente. Tối thiểu hóa tự động nâng cao. POPL 2013. Báo cáo kỹ thuật mở rộng EDI-INF-RR-1414.
Công cụ dòng lệnh của họ Giảm v1.2 có thể được gọi với tùy chọn "-finite" để giảm NFA nhất định. Việc triển khai là nguồn mở và được phát hành theo Giấy phép Công cộng GNU.