ÔTÔMÁT ĐẨY XUỐNG Nội dung chính: Trong chương này, chúng ta khảo sát một dạng mô hình ôtômát khác, có khả năng nhận diện được lớp ngôn ngữ mà văn phạm phi ngữ cảnh sinh ra ôtômát đẩy xuống (PDA) - với sự bổ sung thêm của Stack đóng vai trò như một bộ giữ nhớ trong quá trình ôtômát thực hiện các phép chuyển để nhận dạng ngôn ngữ. | Chương VI ồtômát đẩy xuống Chương VI ÔTÔMÁT ĐẢY XUỐNG Nội dung chính Trong chương này chúng ta khảo sát một dạng mô hình ôtômát khác có khả năng nhận diện được lớp ngôn ngữ mà văn phạm phi ngữ cảnh sinh ra -ôtômát đẩy xuống PDA - với sự bổ sung thêm của Stack đóng vai trò như một bộ giữ nhớ trong quá trình ôtômát thực hiện các phép chuyển để nhận dạng ngôn ngữ. Tiếp theo đó mối quan hệ tương đương giữa hai cơ chế - ôtômát đẩy xuống và CFG-dùng biểu diễn cho lớp văn phạm phi ngữ cảnh cũng sẽ được nêu ra và chứng minh chặt chẽ. Mục tiêu cần đạt Cuối chương này sinh viên có thể Thiết kế PDA chấp nhận một ngôn ngữ phi ngữ cảnh cho trước bằng Stack rỗng hay trạng thái kết thúc. Chuyển một PDA chấp nhận ngôn ngữ bằng trạng thái kết thúc sang PDA chấp nhận ngôn ngữ bằng Stack rỗng và ngược lại. Xây dựng NPDA chấp nhận ngôn ngữ sinh ra từ một CFG. Viết văn phạm phi ngữ cảnh sinh ra lớp ngôn ngữ được chấp nhận bởi một NPDA cho trước. Kiến thức cơ bản Để tiếp thu tốt nội dung của chương này sinh viên cần nắm vững các tính chất của lớp ngôn ngữ phi ngữ cảnh cơ chế đoán nhận ngôn ngữ của dạng máy trừu tượng ôtômát và các thành phần bắt buộc của chúng . Tài liệu tham khảo 1 . Rayward-Smith - A First course in Formal Language Theory Second Editor - McGraw-Hill Book Company Europe - 1995 Chapter 6 Pushdown Automata 2 John E. Hopcroft Jeffrey - Introduction to Automata Theory Languages and Computation - Addison - Wesley Publishing Company Inc -1979 Chapter 5 Pushdown Automata 3 Hồ Văn Quân - Giáo trình lý thuyết ôtômát và ngôn ngữ hình thức - Nhà xuất bản Đại học quốc gia Tp. Hồ Chí Minh - 2002. 4 Copy right by David Matuszek - NPDAs and CFGs http people nerp automata 94 Chương VI ồtômát đẩy xuống I. ÔTÔMÁT ĐẢY XUỐNG PDA PUSHDOWN AUTOMATA Như ta đã biết lớp các ngôn ngữ chính quy được sinh từ văn phạm chính quy đồng thời cũng được đoán nhận bởi các ôtômát hữu hạn đơn định hoặc không đơn định . Trong phần này chúng ta lại thấy một điều .
