M UC LU ÛÛ
4.3 MƠ ĐUN PHÂN TÍCH CÚ PHÁP
B ü ph n tích cú pháp g m t ûp h üp các ha m, m ùi ha m cĩơ â ồ â ơ ì ơ ì nhi ûm vụ suy d ùn m üt ký hi ûu kh ng k t thúc cu a vănê â ơ ê ơ ế í phạm tha nh m üt đoạn cu a văn ba n ngu n. Ta gọi c ng vi ûcì ơ í í ồ ơ ê cu a ha m la tri n khai m üt đích. Cĩ bao nhi u ký hi ûu kh ngí ì ì ể ơ ê ê ơ k t thúc t ïc la cĩ b y nhi u ha m. Khi tri n khai m üt đích(d ûaế ư ì ấ ê ì ể ơ ư va o l üc đ dịch cú pháp) lại cĩ th gặp m üt ký hi ûu kh ngì ươ ồ ể ơ ê ơ k t thúc, đo i ho i pha i tri n khai m üt đích m ïi(đích con) trong khiế ì í í ể ơ ơ đích cũ ch a tri n khai xong. B i v ûy, các ha m ph n tích cúư ể ở â ì â pháp sẽ gọi l ùn nhau. Xem bi u đ cú pháp hình 4.2.â ể ồ
B ü ph n tích cú pháp đ y đ üc x y d ûng theo ph ng phápơ â ở â ươ â ư ươ đ û quy xu ng d ûa tr n l üc đ dịch d ûa cú pháp (hình 4.1).ê ố ư ê ươ ồ ư Trong đĩ ta x y d ûng các ha m cho các ch a t ûn â ư ì ư â factor(hạng
th ïc), ư term(s hạng), ố bt(bi u th ïc), ể ư qh(quan h û), ê btqh(bi uể th ïc quan h û), ư ê order(l ûnh), ê other_order (l ûnh_khác). Các ha mê ì na y sẽ lu n gọi ha m ì ơ ì match() đ ki m tra ra các the t , đọc theể ể í ừ í t k ti p n u ký hi ûu nhìn tr ïc v ïiừ ế ế ế ê ươ ơ (lookahead) đ i sánhố đ üc va th ng báo l ùi trong tr ng h üp ng üc lại.ươ ì ơ ơ ườ ơ ươ