Câu hỏi được gắn thẻ «minimization»

Một Xor automata không xác định (NXA) về mặt cú pháp là một NFA, nhưng một từ được cho là được chấp nhận bởi NXA nếu nó có số lượng đường dẫn chấp nhận lẻ (thay vì ít nhất một đường dẫn chấp nhận trong trường hợp NFA). Dễ dàng …

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

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 …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

Thuật toán của Brzozowski để chuyển đổi DFA thành DFA ở trạng thái tối thiểu tương đương rất đơn giản: nếu biểu thị NFA được hình thành bằng cách đảo ngược tất cả các cạnh trong DFA , biến trạng thái bắt đầu cũ thành trạng thái chấp nhận cũ …

9 automata-theory  minimization