TY - BOOK AU - Phan,Đình Diệu TI - Lý thuyết Ôtômát và thuật toán U1 - 518 14 PY - 1977/// CY - H. PB - ĐH và THCN KW - Hàm vạn năng KW - Hàm đại số lôgíc KW - Hàm đệ quy KW - Thuật toán KW - Ôtômát N2 - Giới thiệu lý thuyết ôtômát hữu hạn. Dạng thu gọn của các ôtômát. Các hàm đại số lôgic. Lý thuyết thuật toán. Các hàm đệ quy. Hàm vạn năng và các bài toán quyết định. Đô phức tạp tính toán của các thuật toán ER -