Cơ Sở Toán Trong Lập Trình

Abstract

Khái niệm thuật toán - phương pháp quy nạp - phương pháp đệ quy. Quan hệ. Đồ thị hữu hạn. Cây. Nhập môn về văn phạm và ngôn ngữ hình thức. Ôtô mát hữu hạn đoán nhận ngôn ngữ chính quy. Máy pushdowwn đoán nhận ngôn ngữ phi ngữ cảnh.