Lý thuyết ôtômát và thuật toán - Phan Đình Diệu (ĐH và THCN, 1977)