Cung cấp những kiến thức cơ bản về ngôn ngữ, văn phạm và ôtômát. Cung cấp các phương pháp phân tích từ vựng, phân tích cú pháp. Cơ sở cho việc tìm hiểu các ngôn ngữ lập trình. Rèn luyện kỹ năng lập trình cho sinh viên | ĐẠI HỌC ĐÀ NẴNG TRƯỜNG ĐẠI HỌC BÁCH KHOA KHOA CÔNG NGHỆ THÔNG TIN NGÔN NGỮ HÌNH THỨC & ÔTÔMÁT Giáo trình Kiến trúc máy tính và Hệ điều hành Mục tiêu giáo trình Cung cấp những kiến thức cơ bản về ngôn ngữ, văn phạm và ôtômát. Cung cấp các phương pháp phân tích từ vựng, phân tích cú pháp. Cơ sở cho việc tìm hiểu các ngôn ngữ lập trình. Rèn luyện kỹ năng lập trình cho sinh viên TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG Giới thiệu Giáo trình Kiến trúc máy tính và Hệ điều hành Nội dung giáo trình CHƯƠNG 1. MỞ ĐẦU CHƯƠNG 2. ÔTÔMÁT HỮU HẠN CHƯƠNG 3. BIỂU THỨC VÀ VĂN PHẠM CHÍNH QUI CHƯƠNG 4. VĂN PHẠM VÀ NGÔN NGỮ PHI NGỮ CẢNH CHƯƠNG 5. ÔTÔMÁT ĐẨY XUỐNG CHƯƠNG 6. MÁY TURING TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG Giới thiệu Giáo trình Kiến trúc máy tính và Hệ điều hành CHƯƠNG 1. MỞ ĐẦU TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG Một số vấn đề về ngôn ngữ Khái niệm văn phạm Khái niệm Ôtômát Giáo trình Kiến trúc máy tính và Hệ điều hành CHƯƠNG 1. MỞ ĐẦU TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG Một số vấn đề về ngôn ngữ . Xâu Bộ chữ (bảng chữ) là tập hợp hữu hạn các ký hiệu Ví dụ:{0,1} bộ chữ gồm 2 ký hiệu 0 và 1 {a,b,c, ,z} bộ chữ gồm các ký hiệu a z Tập các chữ cái tiếng việt Giáo trình Kiến trúc máy tính và Hệ điều hành CHƯƠNG 1. MỞ ĐẦU TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG Một số vấn đề về ngôn ngữ . Xâu Xâu trên bộ chữ V là 1 dãy các ký hiệu của V Ví dụ: 0110 là xâu trên bộ chữ {0,1} a, ab, giathanh là xâu trên bộ chữ {a,b, ,z} Độ dài xâu là số các ký hiệu trong xâu Ký hiệu: độ dài xâu x là |x| Ví dụ: |01110|=5 Giáo trình Kiến trúc máy tính và Hệ điều hành CHƯƠNG 1. MỞ ĐẦU TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG Một số vấn đề về ngôn ngữ . Xâu Xâu rỗng là xâu có độ dài bằng 0 Ký hiệu: , | |=0 Tập tất cả các xâu trên V là V*, { } V* V+ =V *-{ } V*: tập vô hạn đếm được Ví dụ: V={a,b} V*={ ,a,b,aa,bb,ab,ba, } Giáo trình Kiến trúc máy tính và Hệ điều hành CHƯƠNG 1. MỞ ĐẦU TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG Một số vấn đề về ngôn ngữ . Xâu Các phép toán trên xâu Ghép tiếp: cho 2 xâu x,y. Ghép tiếp của x, y là . | ĐẠI HỌC ĐÀ NẴNG TRƯỜNG ĐẠI HỌC BÁCH KHOA KHOA CÔNG NGHỆ THÔNG TIN NGÔN NGỮ HÌNH THỨC & ÔTÔMÁT Giáo trình Kiến trúc máy tính và Hệ điều hành Mục tiêu giáo trình Cung cấp những kiến thức cơ bản về ngôn ngữ, văn phạm và ôtômát. Cung cấp các phương pháp phân tích từ vựng, phân tích cú pháp. Cơ sở cho việc tìm hiểu các ngôn ngữ lập trình. Rèn luyện kỹ năng lập trình cho sinh viên TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG Giới thiệu Giáo trình Kiến trúc máy tính và Hệ điều hành Nội dung giáo trình CHƯƠNG 1. MỞ ĐẦU CHƯƠNG 2. ÔTÔMÁT HỮU HẠN CHƯƠNG 3. BIỂU THỨC VÀ VĂN PHẠM CHÍNH QUI CHƯƠNG 4. VĂN PHẠM VÀ NGÔN NGỮ PHI NGỮ CẢNH CHƯƠNG 5. ÔTÔMÁT ĐẨY XUỐNG CHƯƠNG 6. MÁY TURING TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG Giới thiệu Giáo trình Kiến trúc máy tính và Hệ điều hành CHƯƠNG 1. MỞ ĐẦU TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG Một số vấn đề về ngôn ngữ Khái niệm văn phạm Khái niệm Ôtômát Giáo trình Kiến trúc máy tính và Hệ điều hành CHƯƠNG 1. MỞ ĐẦU TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG Một số vấn đề về ngôn ngữ . Xâu