Bài giảng môn học Trình biên dịch - Chương 5: Trình biên dịch trực tiếp cú pháp

CHÖÔNG 5<br /> BIEÂN DÒCH TRÖÏC TIEÁP CUÙ PHAÙP<br /> Coù hai khaùi nieäm veà caùc luaät ngöõ nghóa coù lieân quan ñeán luaät sinh:<br /> ñònh nghóa tröïc tieáp cuù phaùp vaø löôïc ñoà dòch.<br /> - Ñònh nghóa tröïc tieáp cuù phaùp.<br /> - Löôïc ñoà dòch.<br /> Chuoãi nhaäp → caây phaân tích → ñoà thò phuï thuoäc →<br /> → ñaùnh giaù thöù töï caùc luaät ngöõ nghóa.<br /> Hình 5.0. Khaùi nieäm veà dòch tröïc tieáp cuù phaùp<br /> <br /> Khaùi nieäm toång quan cuûa bieân dòch tröïc tieáp cuù phaùp<br /> 5.1. Ñònh nghóa tröïc tieáp cuù phaùp<br /> Laø vaên phaïm phi ngöõ caûnh maø trong ñoù moãi kyù hieäu vaên phaïm coù taäp<br /> thuoäc tính. Taäp thuoäc tính naøy coù hai loaïi: thuoäc tính toång hôïp vaø<br /> thuoäc tính keá thöøa.<br /> Caây cuù phaùp coù giaù trò thuoäc tính ôû moãi nuùt ñöôïc goïi laø caây phaân tích<br /> chuù thích.<br /> Daïng cuûa ñònh nghóa tröïc tieáp cuù phaùp<br /> Moãi luaät sinh coù daïng A → α ñeàu coù moät taäp luaät ngöõ nghóa coù daïng<br /> b:= f (c1, c2, …, ck) vôùi f laø haøm soá vaø:<br /> 1. b laø thuoäc tính toång hôïp cuûa A vaø c1, c2, …, ck laø caùc thuoäc tính<br /> cuûa kyù hieäu vaên phaïm cuûa luaät sinh, hoaëc<br /> 2. b laø thuoäc tính keá thöøa cuûa moät trong caùc kyù hieäu vaên phaïm beân veá<br /> phaûi cuûa luaät sinh vaø c1, c2, …, ck laø caùc thuoäc tính cuûa caùc kyù hieäu vaên<br /> phaïm cuûa luaät sinh.<br /> <br /> Thí duï 5.1. Ñònh nghóa tröïc tieáp cuù phaùp ôû baûng 5.1.<br /> Baûng 5.1. Ñònh nghóa tröïc tieáp cuù phaùp cho baûng tính ñôn giaûn<br /> Luaät sinh<br /> L → En<br /> E → E1 + T<br /> E → TE.val: = T.val<br /> T → T1* F<br /> T → FT.val: = F.val<br /> F → (E)<br /> F → digit<br /> <br /> Luaät ngöõ nghóa<br /> Print (E.val)<br /> E.val: = E1.val + T.val<br /> E.val: = T.val<br /> T.val: = T.val x F.val<br /> T.val: = F.val<br /> F.val: = E.val<br /> F.val: = digit . lexval<br /> <br /> Thuoäc tính toång hôïp<br /> Ñònh nghóa tröïc tieáp cuù phaùp duøng caùc thuoäc tính toång hôïp goïi laø ñònh<br /> nghóa thuoäc tính S. Thuoäc tính S cuûa moät nuùt coù theå ñöôïc töø caùc thuoäc<br /> tính ôû moãi nuùt töø döôùi leân.<br /> <br /> Thí duï 5.2. Ñònh nghóa thuoäc tính S ôû thí duï 5.1<br /> L<br /> <br /> E.val = 19<br /> E.val = 15<br /> <br /> +<br /> <br /> T.val = 15<br /> T.val = 3<br /> <br /> F.val = 3<br /> <br /> digit.lexval = 3<br /> <br /> *<br /> <br /> n<br /> <br /> T.val = 4<br /> <br /> F.val = 4<br /> F.val = 5<br /> digit.lexval = 4<br /> digit.lexval = 5<br /> <br /> Hình 5.1. Caây phaân tích chuù thích 3 * 5 + 4n<br /> <br /> Thuoäc tính keá thöøa<br /> Thuoäc tính keá thöøa laø thuoäc tính maø giaù trò cuûa noù ôû moät nuùt treân caây<br /> phaân tích ñöôïc xaùc ñònh bôûi thuoäc tính cha meï vaø/hoaëc anh chò cuûa nuùt<br /> ñoù.<br /> Thí duï 5.3. Söï khai baùo ñöôïc taïo bôûi kyù hieäu khoâng keát thuùc D trong<br /> ñònh nghóa tröïc tieáp cuù phaùp ôû (baûng 5.2).<br /> Baûng 5.2. Ñònh nghóa tröïc tieáp cuù phaùp vôùi thuoäc tính keá thöøa L.in.<br /> Luaät sinh<br /> D → TL<br /> T → int<br /> T → real<br /> L → L1, id<br /> L → id<br /> <br /> Luaät ngöõ nghóa<br /> L.in: = T.type<br /> T.type: = integer<br /> T.type: = real<br /> L1.in: = L.in<br /> Addtype (id.entry, L.in)<br /> <br />