Đơn định và tối tiểu hóa otomat khoảng

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).

Từ khóa: Đơn định hóa, Tối tiểu hóa, Tối tiểu hóa otomat khoảng, Duration automata, Bài toán đơn định, An ninh mạng