Slide Chương trình dịch (UNIT3) - GV Nguyễn Thị Thu Hương

LI
lienhejb
0 downloads
3
0

Document content

Page 1

21/1/2010 Làm thế nào để sản sinh ra các xâu ? Bài 3. Văn phạm phi ngữ cảnh có thể dùng để sản sinh ra các xâu thuộc ngôn ngữ như VVăăn phn phạạmm ssảảnn sinhsinh sau: X = Ký hiệu đầu WhileWhile còn ký hiệu không kết thúc Y trong X dodo Áp dụng một trong các sản xuất của,văn phạm chẳng hạn Y -> w 1 2 Ví dụ Suy dẫn (Derivations) S -> +A | -A |A A -> B.B | B „ Mỗi lần thực hiện việc thay thế là một bbướước suy dc suy dẫẫnn. B -> BC | C „ Nếu mỗi dạng câu có nhiều ký hiệu không C -> 0 | 1 | 2 |. . . .|9 kết thúc để thay thế có thể sử dụng bất cứ sản xuất nào. Khi X chỉ chứa ký hiệu kết thúc, nó là xâu được sản sinh bởi văn phạm. 3 4 goupee.com fb.com/groups/goupee 1

Page 2

21/1/2010 Suy dẫn trái và suy dẫn phải Cây suy dẫn(Cây phân tích cú pháp) Cây suy dẫn có những đặc điểm sau Nếu giải thuật phân tích cú pháp chọn ký 1) Mỗi nút của cây có nhãn là ký „ hiệu kết thúc, ký hiệu không kết hiệu không kết thúc cực trái hay cực phải thúc hoặc ε (xâu rỗng) 2) Nhãn của nút gốc là S (ký hiệu để thayy thế,, kết qquả của nó lad suyy dẫn đầu) trái hoặc suy dẫn phải 3) Nút trong có nhãn là ký hiệu không kết thúc 4) Nút A có các nút con từ trái qua phải là X1, X2, ... , Xk thì có một sản xuất dạng A -> X1 X2 ... Xk 5)Nút lá có thể có nhãn ε chỉ khi tồn tại sản xuất A -> ε và nút cha của nút lá chỉ có một nút con duy nhất 5 6 Văn phạm nhập nhằng Khử nhập nhằng Văn phạm E -> E + T E -> E + E E -> T E -> E * E E -> ( E ) TT -> T> T * FF E -> ident T -> F Cho phép đưa ra hai suy dẫn khác nhau cho F -> ( E ) xâu ident + ident * ident (chẳng hạn x + y * z) F -> ident Văn phạm là nhập nhằng (Bằng cách thêm các ký hiệu không kết thúc và các sản xuất để đảm bảo thứ tự ưu tiên) 7 8 goupee.com fb.com/groups/goupee 2

Page 3

21/1/2010 Đệ quy Khử đệ quy trái „ Một sản xuất là đệ qui nếu X =>* ω1X ω2 E -> E + T | T „ Có thể dùng để biểu diễn các quá trình lặp hay cấu trúc T -> T * F | F lồng nhau F -> ( E ) | ident Đệ quy trực tiếp X =>ω X ω Khử đệệ qq yuy trái bằngg cách thêm kýý hiệệu khôngg 1 2 Đệ quy trái X => b | Xa. X => X a => X a a => X a a a =>b a a a a a ... kết thúc và sản xuất mới Đệ quy phải X => b | a X. X => a X => a a X => a a a X =>... a a a a a b E -> T E' Đệ quy giữa X => b | "(" X")". X =>(X) =>((X)) =>(((X))) =>(((... (b)...))) E' -> + T E' | ε Đệ quy gián tiếp X =>* ω X ω 1 2 T -> F T' T' -> * F T' | ε F -> ( E ) | ident 9 10 goupee.com fb.com/groups/goupee 3

Showing the first 3 pages. Download the document to see it all.

Comments (0)

Sign in to join the discussion

No comments yet. Be the first!