... có nhận xét sau: - Nếu xâu bắt đầu FA không đoán nhận xâu - Nếu xâu bắt đầu ký tự thứ FA không đoán nhận xâu - Nếu xâu bắt đầu 00 FA đoán nhận ký hiệu sau xâu hay Từ nhận xét ta xây dựng hàm chuyển ... aa Câu 2: a, Xây dựng FA đoán nhận xâu chứa 0, có 00 bắt đầu Kiểm nghiệm xâu w = 00101 có đoán nhận FA vừa xây dựng? * Xây dựng FA FA đoán nhận xâu chứa 0, có 00 bắt đầu => L(M) = {00w | w (0, ... đơn vị - Ta có: S = {S, A}=> Thêm vào P’ luật sinh sau: S > bA | AAa | b | AB - Ta có A = {A}=> Thêm vào P’ luật sinh sau: A > AAa | b - Ta có B = {B}=> Thêm vào P’ luật sinh sau: B > BBb |...
... Trong có đờngtừ s0 đến chứa trạng thái kết thúc ta nói máy M đoán nhận đợc xâu vào xét, ngợc lại ta nói M không đoán nhận đợc xâu vào Với xâu vào có dạng w=01001 máy M có đoán nhận từ s đến s4 ... nghĩa văn phạm loại ngônngữ sinh loại hợp giao nhân ngônngữ loại) - Chứng minh tính đóng phép hợp: Thật vậy,giả sử G1=(N1,T,S1,P1), G2=(N2,T,S2,P2) văn phạm loại L1, L2 ngônngữ tơng ứng Gọi L= ... nối với nút khác cung vào Mỗi nút trừ nút gốc bỏ cung vào trở thành gốc , gọi cho Cây dẫn xuất Cho văn phạm phi ngữ cảnh G=(N,T,S,P) Giả sử wL(G), w=w1w2wn , wiT S*w, giả sử dẫn xuất w dãy quy tắc...
... văn phạm Mô tả toán học cho ngônngữNgônngữ L1 bao gồm chuỗi từ khóa begin, end ngônngữ Pascal Các chuỗi biểu diễn cấu trúc lồng cặp từ khóa chương trình ngônngữ Pascal Ngônngữ L2 bao gồm ... NỘIDUNG MÔN HỌC Chương Chương Chương Chương Chương Chương Giới thi u lý thuyết tính toán Ôtômát hữu hạn Ngônngữ qui văn phạm qui Các tính chất ngônngữ qui Ngônngữ phi ngữ cảnh Đơn ... hạn Tập L = {anbn : n ≥ 0} ngônngữ Σ Nó ngônngữ vô hạn Trang 17 Lý thuyết Ôtômát & NNHT - Khoa Công Nghệ Thông Tin Các phép toán ngônngữ Bù (complement), L Bù ngônngữ L bảng chữ Σ, kí hiệu...
... trình ngônngữ đích (target program); ngônngữ nguồn (source languague); ngônngữ đích (target languague); ngônngữ lập trình (programming languague); ngônngữ bậc cao (high level languague); ngôn ... compiler Vấn đề trọng tâm: Nguyên lý làm việc chương trình dịch; Lý thuyết thi t kế ngônngữ lập trình (ngôn ngữ người – máy dịch tự động); Chuyển đổi từngônngữ lập trình sang ngônngữ khác ... Giới thi u chung Cơ sở môn Chương trình dịch: Lý thuyết automatangônngữhình thức; Cấu trúc liệu giải thuật; Lập trình (C, C# ) Tiêu chuẩn đánh giá sinh viên: Báo cáo đề tài; ...
... Nộidung chi tiết: Nộidung Chương Các khái niệm 1.1 Chuỗi 1.2 Ngônngữ 1.3 Giải thuật sinh giải thuật nhận dạng 1.4 Văn phạm 1.5 Phân loại ngônngữ N Chomsky 1.6 Automat Chương Ngônngữ ... nghĩa TM chuẩn 4.2 TM ngônngữ 4.3 Các dạng tương đương TM chuẩn 4.4 LBA ngônngữ cảm ngữ cảnh 4.5 Luận đề Turing- Church 4.6 Giới thi u Lý thuyết tính toán: Khái niệm toán giải Ngày phê duyệt: ... bơm cho RL Chương Ngônngữ phi ngữ cảnh 3.1 Định nghĩa thí dụ 3.2 Cây dẫn xuất 3.3 Đơn giản CFG 3.4 Dạng chuẩn CFG 3.5 PDA 3.6 Quan hệ PDA CFG 3.7 Tính chất lớp CFL 3.8 Bổ đề bơm cho CFL Chương...
... chất Ngônngữ Phi Ngữ cảnh 8.1 Hai bổ đề pumping Bổ đề pumping cho ngônngữ phi ngữ cảnh Bổ đề pumping cho ngônngữ tuyến tính Bài tập 8.2 Tính đóng giải thuật định cho ngônngữ cảnh Tính đóngngôn ... Một vài biến thể automat hữu hạn Chương Ngônngữ Chính qui Văn phạm Chính qui 3.1 Biểu thức qui Định nghĩa hìnhthức biểu thức qui Ngônngữ tương ứng biểu thức qui Bài tập 3.2 Quan hệ biểu thức ... 10.3 Ngônngữ cảm ngữ cảnh 10.4 Ngônngữđệ qui khả liệt kê đệ qui 10.5 Ngônngữ không bị ràng buộc 10.6 Phân cấp theo Chomsky 10.7 Giới hạn tính toán có tính giải thuật Giới thi u vài toán không...
... học chế tín 13 Nộidung chi tiết học phần: TT NộidungDẫn nhập Automat hữu hạn Ngônngữ văn phạm qui Các tính chất ngônngữ qui Ngônngữ phi ngữ cảnh Đơn giản hoá văn phạm phi ngữ cảnh Automat ... NGỮVÀ VĂN PHẠM CHÍNH QUI 3.1 Biểu thức qui 3.2 Ngônngữ qui 3.3 Văn phạm qui Chương CÁC TÍNH CHẤT CỦA NGÔNNGỮ CHÍNH QUI 4.1 Tính đóng 4.2 Các câu hỏi 4.3 Nhận biết ngônngữ không qui Chương NGÔN ... tính chất ngônngữ phi ngữ cảnh Số tiết 3 Phân bổ thời gian Lý ThựcTự thuyết hành học 10 8 6 6 12 12 6 15 Ghi Máy Turing Sự phân cấp automat 10 ngônngữhìnhthức TỔNG 4 4 45 45 90 Chương DẪN NHẬP...
... CHUNG 1.1 Nêu toán Bài toán: “Tìm hiểu xây dựng chương trình mô thuật toán hỗ trợ học tập giảng dạy môn học automatangônngữhìnhthức Môn học automat ngônngữhìnhthức môn học cần thi t chuyên ... phạm, thuật toán có liên quan Sau tìm hiểu xây dựng chương trình để giải yêu cầu toán Chương CƠ SỞ LÝ THUYẾT 2.1 Ngônngữhìnhthức 2.1.1 Khái niệm ngônngữhìnhthứcNgôn ngữ: theo từ điển, hệ ... cứu đềtài “Tìm hiểu xây dựng chương trình mô thuật toán hỗ trợ học tập giảng dạy môn học automatangônngữhìnhthức em đạt mục tiêu đề ra: Tìm hiểu chung lý thuyết automat ngônngữhình thức...