1. Trang chủ
  2. » Công Nghệ Thông Tin

Bài giảng Ngôn ngữ hình thức: Chương 1 - Nguyễn Thị Hồng

46 6 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 46
Dung lượng 0,93 MB

Nội dung

Bài giảng Ngôn ngữ hình thức: Chương 1 Đại cương về ngôn ngữ và biểu diễn ngôn ngữ, cung cấp cho người học những kiến thức như: Nhắc lại một số kiến thức toán liên quan; Khái niệm chung về ngôn ngữ; Hệ viết lại và vấn đề biểu diễn ngôn ngữ; Văn phạm. Mời các bạn cùng tham khảo!

NGƠN NGỮ HÌNH THỨC GV: Nguyễn Thị Hồng Email: nguyenhong@hnue.edu.vn Giới thiệu mơn học     Số tín chỉ: 3 Chun cần: nghỉ q 20 % số buổi Cấm thi Điểm giữa kì: 4 bài  Kiểm tra viết  Bài tập nhóm  Điểm giữa kì 1) Bởi các quy tắc: A a1B1 B1 a2B2 … Bn­1 anB Trong đó: B1, B2, …, Bn­1 là các kí hiệu khơng kết thúc mới Văn phạm  Thay mọi quy tắc của G có dạng: A a1a2…an (n>1) Bởi các quy tắc: A a1B1 B1 a2B2 … Bn­1 an Văn phạm   Ví dụ: Cho văn phạm tuyến tính phải G như sau: S abA| aB A  aaS| bA B  aA|b Y/c: Tìm văn phạm tuyến tính phải đơn G’ tương  đương với G Văn phạm  Một ngơn ngữ được gọi là đệ quy kể được, cảm  ngữ cảnh, phi ngữ cảnh, chính quy nếu có một văn  phạm tổng qt, cảm ngữ cảnh, phi ngữ cảnh,  chính quy phải sinh ra nó ... Các suy dẫn trong hệ này:  0+0 +1+ 1 => 0 +1+ 1 =>? ?1+ 1 => 0  0+0 +1+ 1 => 0 +1+ 1 => 0+0 => 0 Hệ viết lại…  Định lý hợp suy dẫn: Cho hệ viết lại (V, P) và cho u1, …un , v, …vn là các  xâu trong V*  Nếu: u1 =>* v1 … u  =>* vn... a1a2…anB (n >1) Bởi các quy tắc: A a1B1 B1 a2B2 … Bn? ?1 anB Trong đó: B1, B2, …, Bn? ?1? ?là các kí hiệu khơng kết thúc mới Văn phạm  Thay mọi quy tắc của G có dạng: A a1a2…an (n >1) Bởi các quy tắc: A a1B1 B1... Các phép tốn trên ngơn? ?ngữ   Lũy thừa nguyên:    L0={ε}  Li=L.Li? ?1? ?(với i =1, 2,3, …) Ghép lặp * và +:   L*=L0 L1 L2 …   L+=L1 L2 … III. Hệ viết lại và vấn đề biểu diễn? ?ngôn? ?ngữ  Biểu diễn? ?ngôn? ?ngữ:  Cách? ?1:  liệt kệ các phần tử của ngơn? ?ngữ? ?(ngơn 

Ngày đăng: 25/10/2022, 10:08