Salomaa, Arto

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 Arto Salomaa, Nguyễn Xuân My, Phạm Trà Ân dịch, Bạch Hưng Khang,Đặng Văn Hưng hiệu đính - H. Khoa học và kĩ thuật 1992 - 404 tr. 21cm

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ữ

Tin học Lý thuyết

004.01 / S100L