编译原理---------2_编译原理的推导vs归约分析-CSDN博客

本文链接：https://blog.csdn.net/weixin_50490968/article/details/122145046

本文详细介绍了编译程序的工作流程，包括词法分析、语法分析、语义分析和中间代码生成等阶段。通过一个C语言的代码示例，解释了编译器如何识别单词、构造语法树并最终生成目标代码。在词法分析中，识别了关键字、标识符、整数和运算符等；语法分析则依据文法规则将单词组合成合法的语法结构，并通过语法树来表示。文章还提及了编译过程中的优化步骤，帮助读者理解编译器如何将高级语言转化为机器可执行的指令。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

编译程序的工作：

举例说明：

     Void jisuan()
         {
            int y, c,d;
            float x,a,b;
            x=a+b*50;
            y=c+)d*(x+b; 
                          }
  注意：
  这个代码，最后一句会报错，让我们来看看它的编译过程。

以下是简单的编译处理过程：
每一步都会产生一些东西，这些东西会被放在表格管理中。
请添加图片描述

词法分析：输入源程序，对构成源程序的字符串进行扫描和分解，识别出一个个的单词。

单词：是高级语言中有实在意义的最小语法单位，由字符构成。

识别程序中的单词：

基本字：（c语言原有的，即关键字） Void int float
标识符：（用户自己定义的）a b c d x y jisuan
整数：50
运算符： + * =
界限符：（用来分开一些东西） { } , ; ()

接着依据词法规则，识别出正确的单词，转换成统一规格，备用
描述语法规则的有效工具是正规式和有限自动机。

语法分析：

任务：在词法分析的基础上，根据语言的语法规则，把单词符号组成各类的语法单位：短语、子句、语句、过程、程序。
语法规则：又称为文法，规定单词如何构成短语，语句，过程和程序。
语法规则的表示： BNF: A::=B|C （巴科斯范式）表示定义为。
🍊例如：句子定义为主谓宾➡️ <句子> ::= <主><谓><宾>
<主>::=<定><名>
语法分析有两种方法：推导（derive）和归约（reduce）
推导：分为最左推导和最右推导
🍊：例如以下 最右推导，逆过程是最左归约，倒着看就可以