软考:区分词法分析、语法分析、语义分析

简介: 本文解释了编译过程中的词法分析、语法分析和语义分析三个阶段的区别,并提供了相关练习题,帮助读者理解各阶段在编译过程中的作用和重要性。

考各位一个题:判断程序语句的形式是否正确属于()阶段的工作?

A、词法分析 B、语法分析 C、语义分析 D、代码生成

各位填什么?

正确答案:B

词法分析(Lexical Analysis)

词法分析是编译器工作的第一个阶段,也被称为扫描(Scanning)或分词(Tokenization)。在这个阶段,编译器会读取源代码的字符流,并将其分解为一个个有意义的符号或标记(Tokens)。这些标记是编译器进一步处理的基本单位。

在C语言中,词法分析器会识别出诸如关键字(如int, for, while等)、标识符(变量名、函数名等)、运算符(如+, -, *, /等)、数字字面量、字符串字面量、标点符号(如括号、分号等)等不同类型的标记。

例如,对于C语言的代码片段int a = 5;,词法分析器会将其分解为以下标记:int(关键字)、a(标识符)、=(赋值运算符)、5(整数字面量)和;(语句结束符)。

总结:关键字、标识符、赋值运算符、整数字面量、语句结束符

语法分析(Syntax Analysis)

语法分析是编译器工作的第二个阶段。在这个阶段,编译器会根据语言的语法规则(通常由上下文无关文法定义)将词法分析器产生的标记组合成有意义的表达式和语句。这个过程通常通过构建一个抽象语法树(Abstract Syntax Tree, AST)来实现。

在C语言中,语法分析器会检查标记的排列是否符合C语言的语法规则。例如,它会检查变量声明、函数定义、控制流语句(如if语句、for循环等)和表达式等的结构是否正确。

对于上面的代码片段int a = 5;,语法分析器会确认这是一个合法的变量声明和初始化语句,并构建一个相应的AST节点。

语义分析(Semantic Analysis)

语义分析是编译器工作的第三个阶段。在这个阶段,编译器会检查源代码的语义是否正确,即检查源代码是否有意义。这包括类型检查、变量和函数的作用域检查、符号解析等。

在C语言中,语义分析器会确保变量和函数的类型正确,确保所有的函数调用都有正确的参数类型和数量,检查变量是否在使用前已经声明和初始化等。

对于上面的代码片段int a = 5;,语义分析器会确认变量a的类型是int,并且它被赋值为一个整数5,这是合法的。

我再出几道题:

在编译过程中,哪个阶段负责识别并报告变量未定义错误? A、词法分析 B、语法分析 C、语义分析 D、代码生成

答案:C

解析:题目的意思应该是,声明变量,但是没有初始化,检查变量初始化。

编译器在将源代码转化为可执行文件时,哪个阶段负责检查类型错误? A、词法分析 B、语法分析 C、语义分析 D、链接

答案:C

解析:类型赋值后,类型是否正确。

哪个阶段是编译器中负责将中间代码转化为目标机器代码的部分? A、词法分析 B、语法分析 C、语义分析 D、代码生成

答案:D

总结:

建议记下来,顺序是词法分析、语法分析、语义分析。

相同的是在后两位,不同的在第一位,其实仔细想想,明显单词判断要先判断,后面才是语法和语义,单词不就关键字、标识符,常量吗?而语法就那些if语法,while语法,语义才是深层次的变量里面的值

目录
相关文章
|
自然语言处理 前端开发 算法
编译原理 (二)词法分析、语法分析、语义分析以及中间代码生成器的基本概念
编译原理 (二)词法分析、语法分析、语义分析以及中间代码生成器的基本概念
1188 0
|
数据挖掘 数据处理 调度
【软件设计师备考 专题 】计算机专业英语:掌握基本词汇和阅读理解技巧(一)
【软件设计师备考 专题 】计算机专业英语:掌握基本词汇和阅读理解技巧
284 0
|
关系型数据库 API 数据库
盘点10个.NetCore实用的开源框架项目
盘点10个.NetCore实用的开源框架项目
2480 0
盘点10个.NetCore实用的开源框架项目
|
9月前
|
存储 设计模式 算法
【23种设计模式·全精解析 | 行为型模式篇】11种行为型模式的结构概述、案例实现、优缺点、扩展对比、使用场景、源码解析
行为型模式用于描述程序在运行时复杂的流程控制,即描述多个类或对象之间怎样相互协作共同完成单个对象都无法单独完成的任务,它涉及算法与对象间职责的分配。行为型模式分为类行为模式和对象行为模式,前者采用继承机制来在类间分派行为,后者采用组合或聚合在对象间分配行为。由于组合关系或聚合关系比继承关系耦合度低,满足“合成复用原则”,所以对象行为模式比类行为模式具有更大的灵活性。 行为型模式分为: • 模板方法模式 • 策略模式 • 命令模式 • 职责链模式 • 状态模式 • 观察者模式 • 中介者模式 • 迭代器模式 • 访问者模式 • 备忘录模式 • 解释器模式
【23种设计模式·全精解析 | 行为型模式篇】11种行为型模式的结构概述、案例实现、优缺点、扩展对比、使用场景、源码解析
|
网络协议 安全
|
10月前
|
Ubuntu 开发工具 git
Ubuntu安装homebrew的完整教程
本文介绍了如何在没有公网的情况下安装 Homebrew。首先访问 Homebrew 官网,然后通过阿里云的镜像克隆安装脚本,并创建普通用户进行安装。接着修改 `install.sh` 文件指向国内镜像,执行安装命令。最后配置环境变量并更换 Homebrew 源为国内镜像,确保安装顺利。
1920 50
|
10月前
|
运维 网络协议 算法
7 层 OSI 参考模型:详解网络通信的层次结构
7 层 OSI 参考模型:详解网络通信的层次结构
1858 1
|
11月前
|
Java
java操作内存,简单讲解varhandle的使用
本文介绍了Java中VarHandle的使用,它是一种从JDK 9开始引入的用于高效访问对象字段的特性。文章通过示例代码展示了如何通过VarHandle操作对象的字段,包括设置和获取字段值,以及如何通过MethodHandles.lookup().findVarHandle()方法获取VarHandle实例。VarHandle提供了一种比反射更高效的内存操作方式,并且支持原子操作。
214 0
java操作内存,简单讲解varhandle的使用
|
11月前
|
Linux Shell 异构计算
在linux上部署yolov5和安装miniconda3
这篇文章介绍了在Linux系统上部署YOLOv5并安装Miniconda3的步骤,包括使用wget命令下载Miniconda安装脚本、安装Miniconda、初始化Conda环境、添加镜像源等。
697 3
在linux上部署yolov5和安装miniconda3
|
11月前
|
项目管理
软件设计师软考题目解析20之英语题
软件设计师软考中英语题目的解析和答题技巧,帮助考生攻克英语部分的题目。
139 0
软件设计师软考题目解析20之英语题