TY - BOOK AU - Salomaa,A. AU - Nguyễn,Xuân My TI - Nhập môn tin học lý thuyết tính toán và các Ôtômát U1 - 004.1 14 PY - 1992/// CY - H. PB - KHKT KW - Lý thuyết tính toán KW - Tin học KW - Ôtômát N2 - 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 ER -