On the determining and minimizing problems of the duration automata

Abstract

Tóm tắt. Các công trình trước đây chúng tôi đã đề xuất mô hình otomat khoảng và sử dụng mô hình này trong một số bài toán tối ưu [3] và lập lịch [4] cũng như các bài toán trong lĩnh vực bảo mật [5]. 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 hoá 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). Những bài toán này được dùng trong việc giải bài toán chính: đơn định hoá và tối tiểu hoá otomat khoảng.Từ khóa. Khoảng, otomat khoảng, đơn định hoá, tối tiểu hoá.