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 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 lt tính từ gt 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 .
