Phan, Đình Diệu, 1936-

Lý thuyết Ôtômát và thuật toán / Phan Đình Diệu - H. : ĐH và THCN, 1977 - 407 tr.

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.

Hàm vạn năng Hàm đại số lôgíc Hàm đệ quy Thuật toán Ôtômát

518 / PH-D 1977