https://invalidval.github.io/tags/%E7%BF%BB%E8%AF%91/ Recent content in 翻译 on zcys univ II Hugo ver Hugo -- gohugo.io en-us © 2020-2027 zcys Sat, 15 Nov 2025 00:00:00 +0800 https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/ Sat, 15 Nov 2025 00:00:00 +0800 https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/ <img src="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/cp5.png" alt="Featured image of post Chapter 5 语法制导和翻译技术" /><h2 id="讲什么了">讲什么了 </h2><p>语法制导定义和翻译方案</p> <p>S属性定义的自底向上实现</p> <p>L属性定义的自底向上实现</p> <h2 id="关键概念">关键概念 </h2><ol> <li>综合属性</li> <li>继承属性</li> <li>S属性定义和L属性定义的LR分析实现</li> </ol> <h2 id="翻译思路">翻译思路 </h2><ol> <li>根据翻译目标确定产生式的语义（含义）</li> <li>根据产生式的含义，分析，每个符号的语义</li> <li>把语义以属性的形式附加到相应文法符号上</li> <li>设计语义规则，从而形成语法制导定义</li> </ol> <p><strong>翻译目标决定语义规则，翻译结果依赖于语义规则</strong></p> <p>翻译目标-&gt;语义规则-&gt;翻译结果</p> <p><strong>把语义动作插入到产生式的适当位置，形成翻译方案</strong></p> <p>翻译方案规定了语义动作的执行时机</p> <h2 id="语法制导翻译的一般步骤">语法制导翻译的一般步骤 </h2><p><img src="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image.png" width="846" height="270" srcset="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image_hu_cbace78a818c075.png 480w, https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image_hu_7e6a74ae82c09eaa.png 1024w" loading="lazy" alt="翻译步骤" class="gallery-image" data-flex-grow="313" data-flex-basis="752px" ></p> <h2 id="1-语法制导定义">1. 语法制导定义 </h2><p><img src="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-1.png" width="1539" height="655" srcset="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-1_hu_c3110237a0bc4d.png 480w, https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-1_hu_e60646e51d628cee.png 1024w" loading="lazy" alt="没看懂汉字" class="gallery-image" data-flex-grow="234" data-flex-basis="563px" ></p> <p><img src="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-2.png" width="1590" height="865" srcset="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-2_hu_f37126c6955f899f.png 480w, https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-2_hu_958aad26ef34b31.png 1024w" loading="lazy" alt="继续" class="gallery-image" data-flex-grow="183" data-flex-basis="441px" ></p> <p><strong>综合属性</strong>：</p> <p>产生式左部符号的综合属性是从该产生式右部文法符号的属性值计算出来的；</p> <p>在分析树中，一个内部结点的综合属性是从其子结点的属性值计算出来的。</p> <p>虚拟综合属性：将过程调用或程序段（print）的语义规则看成左部的虚拟综合属性</p> <p><strong>继承属性</strong>： 产生式右部某文法符号的继承属性是从其所在产生式的左部符号和/或右部文法符号的属性值计算出来的；</p> <p><img src="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-3.png" width="419" height="55" srcset="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-3_hu_2419d5f41adfaec1.png 480w, https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-3_hu_fded2dfddfd5f09f.png 1024w" loading="lazy" alt="继承属性" class="gallery-image" data-flex-grow="761" data-flex-basis="1828px" ></p> <p><img src="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-4.png" width="649" height="95" srcset="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-4_hu_47a250707262868c.png 480w, https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-4_hu_147e12000a5c163b.png 1024w" loading="lazy" alt="继承属性-1" class="gallery-image" data-flex-grow="683" data-flex-basis="1639px" ></p> <p>在分析树中，一个结点的继承属性是从其父结点和/或兄弟结点的属性值计算出来的。</p> <h2 id="2-依赖图">2. 依赖图 </h2><p><img src="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-5.png" width="1583" height="589" srcset="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-5_hu_b0c7bd15f5ee6b7.png 480w, https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-5_hu_6009343ecf976c26.png 1024w" loading="lazy" alt="举例" class="gallery-image" data-flex-grow="268" data-flex-basis="645px" ></p> <h2 id="3-拓扑排序">3. 拓扑排序 </h2><p>由前指向后</p> <h2 id="4-s-l属性定义">4. S L属性定义 </h2><p><img src="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-6.png" width="1476" height="570" srcset="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-6_hu_9763efd6ca23aa69.png 480w, https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-6_hu_cf97421a2cd73f6a.png 1024w" loading="lazy" alt="两种属性" class="gallery-image" data-flex-grow="258" data-flex-basis="621px" ></p> <p><strong>注意，Xj的继承属性不能依赖于其右边的符号！</strong></p> <p><img src="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-7.png" width="478" height="464" srcset="https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-7_hu_42316beb421390ef.png 480w, https://invalidval.github.io/p/chapter-5-%E8%AF%AD%E6%B3%95%E5%88%B6%E5%AF%BC%E5%92%8C%E7%BF%BB%E8%AF%91%E6%8A%80%E6%9C%AF/image-7_hu_d770a4040538eba4.png 1024w" loading="lazy" alt="非L属性例子" class="gallery-image" data-flex-grow="103" data-flex-basis="247px" ></p> <h2 id="5-翻译方案">5. 翻译方案 </h2><p>对于S属性，把这个动作放在相应的产生式右边末尾</p> <p>对于L属性，动作不能引用其右边文法符号的综合属性，左部符号的综合属性应放在产生式右端末尾；右部某符号的继承属性必须放在这个符号之前</p> <h2 id="s属性的自底向上实现">S属性的自底向上实现 </h2>