Để đáp ứng nhu cầu học tập của các bạn sinh viên, nhất là sinh viên chuyên ngành tin học, Khoa Công Nghệ Thông Tin - Trường Đại Học Cần Thơ chúng tôi đã tiến hành biên soạn các giáo trình, bài giảng chính trong chương trình học. Bài giảng môn Tin học lý thuyết này được biên soạn cơ bản dựa trên quyển “Introduction to Automata Theory, Languages and Computation” của John E. Hopcroft và Jeffrey D. Ullman, xuất bản bởi Addison-Wesley vào năm 1979. Giáo trình cũng được biên soạn dựa trên kinh nghiệm giảng dạy nhiều năm môn Lý thuyết ngôn ngữ hình thức và Ôtômát của chúng tôi. Tin học lý thuyết bao gồm việc nghiên cứu Lý thuyết ngôn ngữ hình thức và ôtômát đặt nền tảng mạnh mẽ trên lý thuyết tập hợp, hàm, ánh xạ, quan hệ và lý thuyết đồ thị. Hai kỹ thuật chứng minh quan trọng được sử dụng trong phần lớn các chứng minh là phương pháp quy nạp toán học và phương pháp chứng minh phản chứng. Kỹ thuật mô phỏng các quá trình làm việc tương đương cũng được áp dụng phổ biến. Như một chủ đề bắt buộc, môn học này được đưa vào giảng dạy cho sinh viên chuyên ngành Công nghệ thông tin vào năm thứ ba hoặc thứ tư trong chương trình học với yêu cầu sinh viên đã học xong các khóa học về Toán rời rạc, phải quen thuộc với một vài ngôn ngữ lập trình cấp cao, và các khái niệm cơ bản về Cấu trúc dữ liệu và giải thuật. Kiến thức đạt được Sau khi học xong môn học Tin học lý thuyết, sinh viên cần nắm vững : Khái niệm lý thuyết ngôn ngữ, sự phân cấp và cách thức biểu diễn các ngôn ngữ tự nhiên cũng như ngôn ngữ lập trình. Nguyên tắc phát sinh ngôn ngữ từ văn phạm, quy luật hình thành cú pháp ngôn ngữ lập trình. Nguyên tắc hoạt động và cơ chế dùng đoán nhận ngôn ngữ của các dạng mô hình máy trừu tượng “ôtômát” – là tiền đề cho sự phát triển máy tính số ngày nay. Ứng dụng của lý thuyết ngôn ngữ, chẳng hạn biểu thức chính quy và văn phạm phi ngữ cảnh trong việc thiết kế các phần mềm như trình biên dịch hay các trình xử lý văn bản. Giáo trình bao gồm 8 chương được trình bày trong khuôn khổ 60 tiết giảng cho sinh viên chuyên ngành tin học, trong đó có khoảng 40 tiết lý thuyết và 20 tiết bài tập mà giáo viên sẽ hướng dẫn cho sinh viên trên lớp. Nội dung giáo trình Chương 1: Bổ túc toán Chương 2: Ngôn ngữ và biểu diễn ngôn ngữ Chương 3: Ôtômát hữu hạn và biểu thức chính quy Chương 4: Văn phạm chính quy và các tính chất Chương 5: Văn phạm phi ngữ cảnh Chương 6: Ôtômát đẩy xuống Chương 7: Máy Turing Chương 8: Ôtômát giới nội và văn phạm cảm ngữ cảnh Tải xuống bài giảng Slide Link Download eBook có trong tuyển tập DVD Tin Học https://sites.google.com/site/nguye...iáotrìnhTinhọclýthuyết.pdf?attredirects=0&d=1https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTZ3WGQHg04L1
