Đang tải... (xem toàn văn)
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.
... Chuyển An-dẫn xuất dạng An a Ở sử dụng bổ đề 4. 4 để loại bỏ quy tắc dạng An An Bước 4: Biến đổi Ai-dẫn xuất dạng Ai a với i = 1,2, ,n-1 (sử dụng bổ đề 4. 3) Bước 5: Biến đổi Zi-dẫn xuất... xuất A B1B2…Bm P’ với m 3, ta thêm biến D1, D2,…, Dm-2 thay sản xuất tập sản xuất: {A B1D1, D1 B2D2 ,…, Dm-3 Bm-2Dm-2, Dm-2 Bm-1Bm} 31 Như ta thu tập biến ’’ tập sản xuất P’’ Cho... bên trái (hay hai dẫn xuất bên phải nhất) S * Một ngôn ngữ PNC L gọi ngôn ngữ nhập nhằng cố hữu VPPNC sản sinh L nhập nhằng Ví dụ 4. 4: Xét VPPNC G0 cho sản xuất sau: E E + E | E * E |