斯坦福 CS-143编译原理 First集 课堂笔记

First集

• 由于最近在学习编译原理，对课堂所讲的first集相关部分不太理解，便在网上找资源进行学习，光看还是不够踏实，自己亲自打下来，真正理解，下面的内容大部分还是来课堂老师原话，但是老师讲得很好，确实很帮助理解学习，少部分是自己的理解。想借此上传帮助需要学习的同学，如有错误欢迎指出，一起交流学习呀！下面就是Typora笔记

• 视频地址：b站 斯坦福 CS143 编译原理 中文字幕 点击这~

• 在开始介绍First集之前先来讲说一点关于如何构建解析表的事情，或者说构建LL（1）解析表需要哪些条件

  • 所以在LL（1）构建解析表的时候我们需要知道什么呢，分为一下两种情况（见下图截图）：
  • 
  • 上面图片来源于课程视频截图，下面记录一些课程老师所描述的情况以及个人的理解
    • 在给定非终结符A，产生式$A\to \alpha$,给定输入符号t;
    • 考虑我们什么时候使用产生式$A\to \alpha$,即使用产生式右边的$\alpha$进行对非终结符A的替换，这也就是说，在解析表上的$(A,t)$这一单元格的内容是$\alpha$,即$T[A,t]=\alpha$;
      • case 1:
        • 如果$\alpha$可以推导出t在第一个位置，也就是说，$\alpha$在t之前有0到n次的推导，最终会使得t出现在第一个位置，则我们可以称$t\in First(\alpha )$,即t是$\alpha$First集中的元素。
        • 即如果存在$\alpha \stackrel{\ast }{⟶}t\beta$