计算机编译原理

小小曾爱读书

已于 2023-03-07 20:20:12 修改

阅读量217

点赞数

分类专栏：编译原理文章标签：经验分享

于 2022-12-10 15:33:07 首次发布

本文链接：https://blog.csdn.net/qq_60203955/article/details/128212115

版权

本文详细介绍了编译原理中的词法分析过程，包括词法分析原理、状态转换图、正规表达式和有限自动机的概念，重点讲解了非确定有限自动机的确定化和确定有限自动机的化简。此外，还探讨了语法分析在编译程序中的重要性，以及上下文无关文法和下推自动机的基础知识。

摘要由CSDN通过智能技术生成

第一章：

机器语言和汇编语言都是低级语言，而且都是面向机器的。

汇编程序和解释程序的区别：解释程序不会产生目标程序，边解释变执行，但是效率低。

词法分析

语法分析

语义分析和中间代码的生成

优化

目标代码生成
（编译过程中的绝大部分时间都在造表、查表和更新表格）
（编译有的可以一遍、两遍、三遍，为了让整个编译程序逻辑更加清晰）

3、其他：

编译程序可以把高级语言转翻译成机器语言
移植：将A机器上的高级语言的汇编程序稍加改动之后可以在B机器上运行（Lex、YACC）

2.1、词法分析原理

在编译时，机器会对源程序从左到右进行扫描，产生一个个单词符号，那么怎么识别这一个个单词呢？

单词分类：保留字（int、float...）、标识符（自己取的）、常量、运算符、界符。

词法分析的输入是源程序字符串，输出是和源程序等价的单词符号序列：（单词种别，单词自身的值）

2.2、状态转换图

状态转换图：由结点、边、字母组成（结点表示状态，边上的是字母）：1读入i转换到状态2；终止状态用双圈表示。

2.3、正规表达式和有限自动机

正规式：如c(a|b)*:表示c后读入0或者任意个a或b

正规集：满足正规式的集合

R0={ $\varepsilon$ }空集

2.4.1、有限自动机和非确定有限自动机易考（状态图和状态表）

有限自动机：M=（ S , $\Sigma$ , f , $s{0}$ . Z ）

S:状态集； $\Sigma$ ：输入字母表；f :S x $\Sigma$ 的单值映射 s0:初始状态；Z：终态集

非确定有限自动机：M=（ S , $\Sigma$ , f , Q . Z ）

关注

专栏目录