Bài giảng Ôtômát và ngôn ngữ hình thức: Chương 4 - ThS. Nguyễn Thị Thùy Linh

Bài giảng Ôtômát và ngôn ngữ hình thức: Chương 4 Văn phạm phi ngữ cảnh và ôtômát đẩy xuống cung cấp cho người học những kiến thức như: Xuất xứ và định nghĩa của văn phạm phi ngữ cảnh; Cây dẫn xuất và sự nhập nhằng trong VPPNC; Dạng chuẩn Chomsky (CNF); Dạng chuẩn Greibach (GNF); Định nghĩa Ôtômát đẩy xuống (PDA); Ngôn ngữ được chấp nhận bởi PDA; Ôtômát đẩy xuống và ngôn ngữ phi ngữ cảnh.
Nội dung trích xuất từ tài liệu:
Bài giảng Ôtômát và ngôn ngữ hình thức: Chương 4 - ThS. Nguyễn Thị Thùy Linh NỘI DUNG CHƢƠNG 4: 1. Xuất xứ và định nghĩa của văn phạm phi ngữ cảnh VĂN PHẠM PHI NGỮ CẢNH 2. Cây dẫn xuất và sự nhập nhằng trong VPPNC VÀ 3. Dạng chuẩn Chomsky (CNF) ÔTÔMÁT ĐẨY XUỐNG 4. Dạng chuẩn Greibach (GNF) 5. Định nghĩa Ôtômát đẩy xuống (PDA) CFG – Context-Free Grammar 6. Ngôn ngữ được chấp nhận bởi PDA and 7. Ôtômát đẩy xuống và ngôn ngữ phi ngữ cảnh. PDA – Pushdown Automata 2 XUẤT XỨ VÀ ĐỊNH NGHĨA CỦA VPPNC XUẤT XỨ VÀ ĐỊNH NGHĨA CỦA VPPNC (TT) Xuất xứ đầu tiên của VPPNC là việc mô tả các ngôn ngữ tự nhiên.   Là Hãy trở lại hình cây ở chương 1. Nó diễn tả cấu trúc của câu “An là sinh   < tính từ> viên giỏi”. Các từ trong móc nhọn, như là , , …là các phạm trù cú pháp, cho ta vai trò của các bộ phận hợp   giỏi thành một câu.  Các quy tắc cú pháp như trên chính là thuộc dạng của các quy Ta thấy một câu đơn được sinh ra qua các bước triển khai dần dần các tắc trong văn phạm phi ngữ cảnh. phạm trù cú pháp theo các quy tắc cú pháp như sau:  Chính các nhà Tin học, với nhu cầu biểu diễn các ngôn ngữ   lập trình, đã tìm thấy ở văn phạm phi ngữ cảnh một khuôn khổ   thích hợp.   sinh viên | An  Các dạng chuẩn Backus – Naur (BNF) mà các nhà Tin học   dùng để diễn tả cú pháp của các ngôn ngữ lập trình cấp cao 3 4 1 XUẤT XỨ VÀ ĐỊNH NGHĨA CỦA VPPNC (TT) XUẤT XỨ VÀ ĐỊNH NGHĨA CỦA VPPNC (TT) Định nghĩa: Một văn phạm phi ngữ cảnh, viết tắt là VPPNC, là một hệ thống:  Với các sản xuất trong P, văn phạm G trở nên một hệ viết lại sản sinh G = (, , P, S), trong đó: (V, P) với bảng chữ cái V =    và tiên đề S.   là một tập hữu hạn các ký hiệu, gọi là ký hiệu kết thúc (còn gọi là  Định nghĩa ngôn ngữ sản được sinh bởi văn phạm G là: ký hiệu cuối).   là một tập hữu hạn các ký hiệu, gọi là ký hiệu không kết thúc (hay L(G) = {w | w  * và S * w} còn gọi là các biến) với    =   L(G) được gọi là ngôn ngữ phi ngữ cảnh (NNPNC).  S   gọi là ký hiệu đầu.  Đối với các ký hiệu  và *, khi cần chỉ rõ văn phạm, thì ta đưa thêm  P là một tập hữu hạn các sản xuất có dạng chỉ số dưới  G và *G. A   với A   và   (  )*. Nếu  =  thì A là biến bắt  Hai văn phạm G1 và G2 được gọi là các văn phạm tương đương nếu đầu và không được xuất hiện ở vế phải của bất kỳ luật sinh nào. Vậy VPPNC tương tự như văn phạm mà ta đã nghiên cứu, nhưng chỉ L(G1) = L(G2). khác là ta đã thêm hạn chế đối với các sản xuất.  Nếu S *  và   (  )* thì  được gọi là một dạng câu. 5 6 XUẤT ...