https://invalidval.github.io/tags/%E6%AD%A3%E5%88%99%E8%A1%A8%E8%BE%BE%E5%BC%8F/ Recent content in 正则表达式 on zcys univ II Hugo ver Hugo -- gohugo.io en-us © 2020-2027 zcys 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/ 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>