Nhập môn tin học lý thuyết tính toán và các Ôtômát /
Arto Salomaa; Ngd.: Nguyễn Xuân My
- H. : KHKT, 1992
- 404 tr.
Cung cấp một số kiến thức về một số chủ đề toán học trung tâm của tin học lý thuyết; Tính tính được và các hàm đệ quy, các ngôn ngữ hình thức và các ôtômat, độ phức tạp tính toán và mật mã học.