Tóm tắt:

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). Những bài toán này được dụng trong việc giải bài toán chính: đơn định hóa và tối tiểu hóa otomat khoảng.