1
Giảm thiểu tự động trạng thái hữu hạn còn lại
Máy tự động trạng thái hữu hạn dư (RFSA, được định nghĩa trong [DLT02]) là các NFA có một số tính năng đẹp chung với DFA. Đặc biệt, luôn có một RFSA có kích thước tối thiểu chính tắc cho mọi ngôn ngữ thông thường và ngôn ngữ được mỗi …