Nhập môn tin học lý thuyết tính toán và các ôtômát: Dịch từ bản tiếng Anh của nhà xuất bản Đại học tổng hợp Cambridge,1985
Giới thiệu các mô hình tính toán, những kiến thức cơ bản về lý thuyết ngôn ngữ, các ô tô mát cs hạn chế, các máy turing và các hàm đệ quy. Đề cập đến các bài toán quyết định nổi tiếng, đệ phức tạp tính toán, mật mã họ, các hướng mới trong lý thuyết ô tô mát và ngôn ngữ...
Đã lưu trong:
Tác giả chính: | Salomaa, Arto |
---|---|
Định dạng: | Sách |
Năm xuất bản: |
H.
Khoa học và kĩ thuật
1992
|
Chủ đề: | |
Tags: |
Thêm thẻ
Không có thẻ, Hãy là người đầu tiên gắn thẻ bản ghi này!
|
Tài liệu tương tự
-
Lý thuyết ngôn ngữ hình thức và otomat
Tác giả:: Đặng Huy Ruận
Năm xuất bản: (2005) -
Nhập môn tin học Bài giảng
Tác giả:: Trần Văn Cường
Năm xuất bản: (2007) -
Nhập môn lý thuyết nhóm
Tác giả:: Aleksandrov, P.S
Năm xuất bản: (1987) -
Giáo trình nhập môn tin học Sách dùng cho các trường đào tạo hệ THCN
Tác giả:: Tô Văn Nam
Năm xuất bản: (2004) -
Nhập môn ngôn ngữ học lý thuyết
Tác giả:: Lyons, John
Năm xuất bản: (1996)