3
Liệu một automata hữu hạn không vô căn (NDFA) có thể được chuyển đổi một cách hiệu quả thành một automata hữu hạn xác định (DFA) trong không gian / thời gian phụ?
Hai mươi năm trước, tôi đã xây dựng một gói biểu thức chính quy bao gồm các chuyển đổi từ biểu thức chính quy sang máy trạng thái hữu hạn (DFA) và hỗ trợ một loạt các hoạt động biểu thức chính quy kín (sao Kleene, nối, đảo ngược, đặt …