Duration automata

Trong nghiên cứu này, bài báo sẽ tập trung vào hai bài toán đơn định và tối tiểu hóa otomat khoảng. Các bài toán nhỏ hơn cũng được giải quyết là: Tách/ghép các khoảng trên các cung của otomat mà không làm thay đổi ngôn ngữ được đoán nhận, loại các trạng thái không đạt được (có và không có yếu tố khoảng).

15p dieutringuyen 07-06-2017 61 2   Download