Tìm kiếm nâng cao
Loại tài liệu: Tài liệu số
Tác giả: Lê, Trọng Hiếu
Nhà Xuất Bản: Đại học Sư phạm Hà Nội
Năm Xuất Bản: 2011
Tìm hiểu cơ sở của ngôn ngữ hình thức (công cụ mô tả đối với các mô hình tính toán, cả cho dạng thông tin vào - ra lẫn kiểu thao tác). Tìm hiểu về văn phạm, mô hình ôtômát, máy Turing và quá trình tính toán trên máy Turing, luận đề Turing - church cùng một số bài toán quyết định