1. Trang chủ
  2. » Tất cả

Bài giảng ngôn ngữ hình thức chương 3 nguyễn thị hồng

10 3 0

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

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 10
Dung lượng 325,4 KB

Nội dung

Chương 3 Văn phạm phi ngữ cảnh 1 Nội dung  Suy dẫn phi ngữ cảnh  Cây suy dẫn và sự nhập nhằng  Giản lược văn phạm phi ngữ cảnh  Dạng chuẩn Chomsky 2 Suy dẫn phi ngữ cảnh  Văn phạm phi ngữ cảnh là[.]

Chương Văn phạm phi ngữ cảnh Nội dung     Suy dẫn phi ngữ cảnh Cây suy dẫn nhập nhằng Giản lược văn phạm phi ngữ cảnh Dạng chuẩn Chomsky Suy dẫn phi ngữ cảnh   Văn phạm phi ngữ cảnh: văn phạm sản xuất có dạng: A với A ; ( )* Suy dẫn phi ngữ cảnh: bước áp dụng sản xuất phi ngữ cảnh Một số ví dụ suy dẫn phi ngữ cảnh    Ví dụ 1: Trong ngơn ngữ lập trình ||  A|B|C|…|Z 0|1|2|3|4|5|6|7|8|9 Kí hiệu khơng kết thúc: , , Kí hiệu kết thúc: A, B, C, …, Z, 0, 1, 2, …, Một số ví dụ suy dẫn phi ngữ cảnh    Ví dụ 2: Trong văn phạm tiếng Việt có quy tắc:  |  bị|mèo|… tơi|nó|… ăn|nằm|… Kí hiệu khơng kết thúc: , , , , , Kí hiệu kết thúc: “bị”, “mèo”, “tơi”, “nó”, “ăn”, “nằm”… từ tiếng Việt Suy dẫn phi ngữ cảnh  Định lý III.1 (định lý phân dã suy dẫn) Cho G=( , , P, S) văn phạm phi ngữ cảnh, đặt V= Nếu G có suy dẫn u1u2…un=>kG v ui, v V* tồn vi V*và ki N (i=1, 2,…, n) cho: ui=>ki vi Với i=1, 2, …, n v=v1v2 …vn k1+k2+…+kn=k (Chứng minh: lý thuyết ngơn ngữ tính tốn – Nguyễn Văn6 Cây suy dẫn nhập nhằng  Định nghĩa suy dẫn: Trong văn phạm phi ngữ cảnh G=( , ,P,S), Cây suy dẫn mà đỉnh gắn nhãn phần tử thuộc tập { } thỏa điều kiện: i Nhãn gốc kí hiệu đầu S ii Nhãn đỉnh kí hiệu khơng kết thúc Nhãn kí hiệu kết thúc iii Với đỉnh có nhãn A có nhãn X1, X2 …Xk A X1X2Xk sản xuất G iv Nếu có nhãn cha Cây suy dẫn (tiếp)   Cây tạo thành đỉnh hậu duệ với nhãn cung liên kết chúng Gốc có nhãn A ta gọi A-cây Biên (kết quả) suy dẫn hay A-cây xâu tạo thành cách ghép trật tự từ trái qua phải ta câu gọi kết Ví dụ suy dẫn Ví dụ: xét văn phạm G({S, A}, {a, b}, P, S}, với P gồm: S  aAS | a A  SbA | SS | ba  Một dẫn xuất G: S => aAS => aSbAS => aabAS => aabbaS => aabbaa S a S a A b b 10 S A a 11 a Cây suy dẫn (tiếp) Định lý III.2: Cho G văn phạm phi ngữ cảnh có xâu w sản sinh G (S=>*Gw ) có suy dẫn văn phạm mà biên w Chứng minh: (1) Giả sử có suy dẫn biên w có suy dẫn S=>*w (2) Giả sử có suy dẫn S=>*w có suy dẫn biên w  10 ... phi ngữ cảnh Cây suy dẫn nhập nhằng Giản lược văn phạm phi ngữ cảnh Dạng chuẩn Chomsky Suy dẫn phi ngữ cảnh   Văn phạm phi ngữ cảnh: văn phạm sản xuất có dạng: A với A ; ( )* Suy dẫn phi ngữ. .. 0, 1, 2, …, Một số ví dụ suy dẫn phi ngữ cảnh    Ví dụ 2: Trong văn phạm tiếng Việt có quy tắc:  |  bò|mèo|…

Ngày đăng: 24/02/2023, 09:43