https://invalidval.github.io/post/notes/compiler/ 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> https://invalidval.github.io/p/chapter-4-%E8%AF%AD%E6%B3%95%E5%88%86%E6%9E%90/ Mon, 10 Nov 2025 00:00:00 +0800 https://invalidval.github.io/p/chapter-4-%E8%AF%AD%E6%B3%95%E5%88%86%E6%9E%90/ <h1 id="chapter-4-语法分析">Chapter 4 语法分析 </h1><p>本章非常之杂乱，所以需要对语法分析先进行分类</p> <ol> <li>自顶向下</li> </ol> <ul> <li>递归的 非确定的：有回溯，叫递归下降分析 确定的：无回溯，叫递归调用<strong>预测</strong>分析</li> <li>非递归的 非递归<strong>预测</strong>分析：第一个需要构造分析表的分析法，我们希望它是LL(1)文法。<strong>有左递归/左公因子的一定不是LL(1)文法，如果不放心，可以构造分析表，存在多重表项就不是LL(1)</strong></li> </ul> <ol start="2"> <li>自底向上</li> </ol> <ul> <li>优先分析法</li> <li>移进-归约分析法：LR(0) SLR(1) LR(1) LALR(1) <strong>自底向上分析无需特殊处理左公因子，也无需处理左递归！！！！！！</strong></li> </ul> https://invalidval.github.io/p/chapter-2-%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80%E4%B8%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%9F%BA%E7%A1%80/ Tue, 04 Nov 2025 00:00:00 +0800 https://invalidval.github.io/p/chapter-2-%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80%E4%B8%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%9F%BA%E7%A1%80/ <img src="https://invalidval.github.io/p/chapter-2-%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80%E4%B8%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%9F%BA%E7%A1%80/cp2.png" alt="Featured image of post Chapter 2 形式语言与自动机基础 " /><h1 id="chapter-2-形式语言与自动机基础">Chapter 2 形式语言与自动机基础 </h1><span class="spoiler" >真TMD气死老子了，考这个b编译原理期中，其他题一分没扣，就这b自动机两个大题几乎分扣完了，CTMD，SB自动机，编译原理你考自动机还考两个是吧，害老子白丢2分总分，正则文法有你这么诡异的吗？？？你看看往年题呢？？</span> <style> .spoiler { color: black; background-color:black; } .spoiler:hover{ color: white; } </style> <p>自动机是非常好的发明，在编译原理中有重要作用，我们一定要学好自动机理论</p> <h2 id="大水课の-复习">「大水课」の 复习 </h2><p>与这学期有关的自动机理论减少到了正则文法和有限自动机，而且考试还考的是确定有限自动机DFA。</p> <h2 id="语言和文法">语言和文法 </h2><p>分清0型、1型、2型、3型。</p> <p>2型是CFG，3型是「正规文法」「线性文法」，所产生的语言叫「正规语言」</p> <p>所以我们一定要上正规大学</p> <p><img src="https://invalidval.github.io/p/chapter-2-%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80%E4%B8%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%9F%BA%E7%A1%80/image.png" width="1500" height="150" srcset="https://invalidval.github.io/p/chapter-2-%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80%E4%B8%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%9F%BA%E7%A1%80/image_hu_8d6896b7428e8858.png 480w, https://invalidval.github.io/p/chapter-2-%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80%E4%B8%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%9F%BA%E7%A1%80/image_hu_f3af741520d496ec.png 1024w" loading="lazy" alt="其实正则和正规是一个意思" class="gallery-image" data-flex-grow="1000" data-flex-basis="2400px" ></p> <p>正规文法在所有产生式的右侧，最多只有一个非终结符，并且如果存在，它必须出现在最右端。</p> <p>至于左线性文法，构造出的DFA是镜像的，我们不管它。</p> <h2 id="文法变换">文法变换 </h2><h3 id="消除二义性">消除二义性 </h3><h3 id="消除左递归">消除左递归 </h3><p><strong>自顶向下</strong>的语法分析不能识别左递归文法</p> <h3 id="提取左公因子">提取左公因子 </h3><p><strong>预测分析法</strong>不能识别左公因子文法，在填预测分析表时会出现多重表项 <strong>总之，消除左递归和提取左公因子只有改写为LL(1)文法时才需要！！</strong></p> <h2 id="正规文法与有限自动机的等价性">正规文法与有限自动机的等价性 </h2><p>实际上主要考右线性文法与确定有限自动机(DFA)的等价性</p> <p>定理2.3 对每一个右线性文法G或左线性文法G，都存在一个等价的有限自动机M</p> <p>定理2.4 对每一个DFA M，对存在一个等价的右线性文法G和一个等价的左线性文法G'</p> <p>推论2 对任何一个有限自动机M，对存在一个等价的正规文法G，反之亦然</p> <p>推论3 对任何一个右线性文法G，都存在一个等价的左线性文法G&rsquo;，反之亦然</p> <p><strong>右线性文法 -&gt; 有限自动机（不一定是DFA）</strong>： 这是非常简单的，因为只管将B-&gt;aB写成$\delta(B,a) = {B}$就行了，注意只有终结符的对应终结状态。但这不一定是确定的！！！</p> <p><strong>有限自动机（不一定是DFA）-&gt; 右线性文法</strong> ：</p> <p><img src="https://invalidval.github.io/p/chapter-2-%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80%E4%B8%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%9F%BA%E7%A1%80/image-2.png" width="783" height="453" srcset="https://invalidval.github.io/p/chapter-2-%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80%E4%B8%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%9F%BA%E7%A1%80/image-2_hu_8e977b25458bd826.png 480w, https://invalidval.github.io/p/chapter-2-%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80%E4%B8%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%9F%BA%E7%A1%80/image-2_hu_99ab6e32fd0ed752.png 1024w" loading="lazy" alt="原题给出的自动机" class="gallery-image" data-flex-grow="172" data-flex-basis="414px" ></p> <p>按左侧写法空串消不完全就导致了B状态少识别一个0?是这个原因吗？一点也不直观，操</p> <p><img src="https://invalidval.github.io/p/chapter-2-%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80%E4%B8%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%9F%BA%E7%A1%80/image-1.png" width="1656" height="795" srcset="https://invalidval.github.io/p/chapter-2-%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80%E4%B8%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%9F%BA%E7%A1%80/image-1_hu_bd8ec59927746c97.png 480w, https://invalidval.github.io/p/chapter-2-%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80%E4%B8%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%9F%BA%E7%A1%80/image-1_hu_76a7e7d149daa0f5.png 1024w" loading="lazy" alt="期中第二题" class="gallery-image" data-flex-grow="208" data-flex-basis="499px" ></p> <p><strong>有限自动机 -&gt; 正规表达式</strong>：</p> <p><strong>正规表达式 -&gt; 有限自动机</strong>：</p> <p><strong>正规表达式 -&gt; 正规文法</strong>：</p> <p><strong>正规文法 -&gt; 正规表达式</strong>：</p>