Tài liệu Thư viện số

Danh mục TaiLieu.VN

Lý thuyết OTOMAT và ngôn ngữ lập trình

Trong chương này, chúng ta sẽ nhắc lại một cách khái quát các thuật ngữ và kiến thức toán học sẽ được dùng đến trong suốt giáo trình. Đó là các kiến thức liên quan đến đồ thị, cây, tập hợp, quan hệ và một vài phương pháp chứng minh toán học thông thường. Nếu các khái niệm này là mới đối với bạn, bạn nên xem lại một cách cẩn thận. Ngược lại, nếu chúng không là mới, bạn có thể đọc lướt nhanh qua chương này, nhưng hãy chắc chắn rằng mình đã nắm rõ về chúng. Sau chương này, sinh viên có thể : Xác định tập hợp và các phép toán cơ bản trên tập hợp, Định nghĩa một quan hệ, lớp quan hệ và các tính chất của quan hệ, Xác định quan hệ tương đương và phép bao đóng, Chứng minh một phát biểu toán học theo phương pháp quy nạp, Nắm vững các khái niệm về đồ thị và cây

Từ khóa: tin học lý thuyết, tập hợp, ngôn ngữ và phân cấp chomsky, otomat hữu hạn, biểu thức chính quy, ngôn ngữ phi ngữ cảnh, otomat đẩy xuống

139 p kimnhien 20/10/2012 425 4

Bình luận