Đơn định và tối thiểu hóa otomat khoảng
Tác giả: Bùi Vũ Anh
Số trang:
Tr. 148-162
Tên tạp chí:
Tin học và Điều khiển học
Số phát hành:
Tập 30, Số 2/2014
Kiểu tài liệu:
Tạp chí trong nước
Nơi lưu trữ:
03 Quang Trung
Mã phân loại:
621
Ngôn ngữ:
Tiếng Việt
Từ khóa:
Khoảng, otomat khoảng, đơn định hóa, tối tiểu hóa.
Chủ đề:
Otomat
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.
Tạp chí liên quan
- Tăng cường sự tham gia của khu vực tư nhân thông qua hợp tác công - tư trong xử lý chất thải rắn sinh hoạt
- Các cơ chế tài chính thúc đẩy bảo tồn đa dạng sinh học và dịch vụ hệ sinh thái
- Đánh giá vai trò của nhận thức cộng đồng trong duy trì bền vững đô thị và phát triển dịch vụ hệ sinh thái tại công viên Tao Đàn
- Phát hành trái phiếu xanh tại Việt Nam : thực trạng và khuyến nghị
- Đề xuất các giải pháp ứng phó với đảo nhiệt đô thị để bảo vệ sức khỏe người dân và thích ứng với biến đổi khí hậu