状态转化图
来源:互联网 发布:mac改host 编辑:程序博客网 时间:2024/05/18 02:11
开篇
编译,简单的说,就是把源程序转换为可执行程序。从hello world 说程序运行机制 里面简单的说明了程序运行的过程,以及一个程序是如何一步步变成可执行文件的。在这个过程中,编译器做了很多重要的工作。对底层该兴趣的我,自然的,也就迫切想搞清楚编译的内部实现,也就是编译的原理。
这篇文章主要说的是编译器前端,词法分析器的原理,最后会给出一个词法分析器的简单实现。
介绍
编译简单的说,就是把源程序转化为另一种形式的程序,而其中关键的部分就是理解源程序所要表达的意思,才能转化为另一种源程序。
可以用一个比喻来说明问题:人A和人B想要交谈,但是他们都不知道彼此的语言,这就需要一个翻译C,同时懂得A和B的语言。有了C做中间层,A和B才能正常交流。C的作用就有点像编译器,它必须能理解源程序所要表达的意思,才能把信息传递给另一个。
编译器也一样,它的输入是语言的源文件(一般可以是文本文件)对于输入的文件,首先要分离出这个输入文件的每个元素(关键字、变量、符号、、)
然后根据语言的文法,分析这些元素的组合是否合法,以及这些组合所表达的意思。
程序设计语言和自然语言不一样,都是用符号来描述,每个特定的符号表示特定的意思,而且程序设计语言是上下文无关的。上下文无关就是某一个特定语句所要表达的意思和它所处的上下文没有关系,只有它自身决定。
这篇博文主要说的就是词法分析,也就是把输入的符号串整理成特定的词素。
词法分析
示例:
比如如下的代码段:
while(i>=j) i--
词法分析器设计
分析器的简单实现
上文主要介绍了词法分析的一些相关的知识,而对词法分析器的具体实现还没有具体提到,为了能更好的理解词法分析,我写了一个简单的词法分析器。
虽然说是语法分析器,但实现的功能很简单,只是对输入的程序把注释去掉,其中用到了上面关于状态转换图部分的知识。
分析:
一般的程序设计语言, 注释部分的形式为;
/* 注释部分、、、、*/
我们的程序总是顺序的一个一个字符读取输入文件的。我们的目的是把注释部分去掉,那么对于输入的字符流,我们只要识别出“/*”就知道后面的部分是注释部分,直到识别输入流中出现"*/"为止。
对字符流的处理是一个一个进行的,每读入一个字符,就判断,如果字符是“/”,就说明后面 的部分可能是注释,再看下一个输入字符,如果是“*”, 就是上面所说的情况:“ /*”那么后面的部分就是注释部分,然后再用相同的方法找出"*/"就可以了。
这个识别的过程就可以用状态转换图来清晰的表示:
对于读入的每个符号都要进行判断,如果是“/”说明后面的部分有可能是注释,进入状态1。如果后面的输入是“*”那么就可以确定以后的内容为注释内容,如果后面的输入不是"*",说明后面的内容不是注释,前面出现的"/"可能是做除号使用,如“5/3”
其实上面的流程图也就对应了程序实现的逻辑,可以用switch-case 来实现,对于每个输入,判断后跳转到相应的状态,然后继续判断。
下面是程序伪代码:
while((ch=getchar())!=EOF)
switch(state)
case 1 :if ch=="/",state=2,break;
case 2: if ch=="*",state=3
else state=1;break;
case 3:..........
case 4:..........
词法分析器
这个程序比较简单,就不给出源代码了。接下来是一个简单的词法分析器的代码,可以实现对关键字(如 while end if 等),对数字的识别,去掉空格符等。
下面是这个分析器的功能:
1、 待分析的简单语言的词法
(1) 关键字:
begin if then while do end
所有关键字都是小写。
(2) 运算符和界符:
:= + – * / < <= <> > >= = ; ( ) #
(3) 其他单词是标识符(ID)和整型常数(NUM),通过以下正规式定义:
ID=letter(letter| digit)*
NUM=digit digit *
(4) 空格由空白、制表符和换行符组成。空格一般用来分隔ID、NUM,运算符、界符和关键字,词法分析阶段通常被忽略。
2、 各种单词符号对应的种别码
词法分析程序的功能
输入:所给文法的源程序字符串。
输出:二元组(syn,token或sum)构成的序列。
其中:syn为单词种别码;
token为存放的单词自身字符串;
sum为整型常数。
点击(此处)折叠或打开
- #include<stdio.h>
- #include<string.h>
- #include<iostream.h>
- char prog[80],token[8];
- char ch;
- int syn,p,m=0,n,row,sum=0;
- char *rwtab[6]={"begin","if","then","while","do","end"};
-
- void scaner()
- {
- /*
- 共分为三大块,分别是标示符、数字、符号,对应下面的 if else if 和 else
-
-
- */
- for(n=0;n<8;n++) token[n]=NULL;
- ch=prog[p++];
- while(ch==' ')
- {
- ch=prog[p];
- p++;
- }
- if((ch>='a'&&ch<='z')||(ch>='A'&&ch<='Z')) //可能是标示符或者变量名
- {
- m=0;
- while((ch>='0'&&ch<='9')||(ch>='a'&&ch<='z')||(ch>='A'&&ch<='Z'))
- {
- token[m++]=ch;
- ch=prog[p++];
- }
- token[m++]='\0';
- p--;
- syn=10;
- for(n=0;n<6;n++) //将识别出来的字符和已定义的标示符作比较,
- if(strcmp(token,rwtab[n])==0)
- {
- syn=n+1;
- break;
- }
- }
- else if((ch>='0'&&ch<='9')) //数字
- {
- {
- sum=0;
- while((ch>='0'&&ch<='9'))
- {
- sum=sum*10+ch-'0';
- ch=prog[p++];
- }
- }
- p--;
- syn=11;
- if(sum>32767)
- syn=-1;
- }
- else switch(ch) //其他字符
- {
- case'<':m=0;token[m++]=ch;
- ch=prog[p++];
- if(ch=='>')
- {
- syn=21;
- token[m++]=ch;
- }
- else if(ch=='=')
- {
- syn=22;
- token[m++]=ch;
- }
- else
- {
- syn=23;
- p--;
- }
- break;
- case'>':m=0;token[m++]=ch;
- ch=prog[p++];
- if(ch=='=')
- {
- syn=24;
- token[m++]=ch;
- }
- else
- {
- syn=20;
- p--;
- }
- break;
- case':':m=0;token[m++]=ch;
- ch=prog[p++];
- if(ch=='=')
- {
- syn=18;
- token[m++]=ch;
- }
- else
- {
- syn=17;
- p--;
- }
- break;
- case'*':syn=13;token[0]=ch;break;
- case'/':syn=14;token[0]=ch;break;
- case'+':syn=15;token[0]=ch;break;
- case'-':syn=16;token[0]=ch;break;
- case'=':syn=25;token[0]=ch;break;
- case';':syn=26;token[0]=ch;break;
- case'(':syn=27;token[0]=ch;break;
- case')':syn=28;token[0]=ch;break;
- case'#':syn=0;token[0]=ch;break;
- case'\n':syn=-2;break;
- default: syn=-1;break;
- }
- }
- int main()
- {
- p=0;
- row=1;
- cout<<"Please input string:"<<endl;
- do
- {
- cin.get(ch);
- prog[p++]=ch;
- }
- while(
- p=0;
- do
- {
- scaner();
- switch(syn)
- {
- case 11: cout<<"("<<syn<<","<<sum<<")"<<endl; break;
- case -1: cout<<"Error in row "<<row<<"!"<<endl; break;
- case -2: row=row++;break;
- default: cout<<"("<<syn<<","<<token<<")"<<endl;break;
- }
- }
- while (syn!=0);
- }
原文连接:http://www.cnblogs.com/yanlingyin/archive/2012/04/17/2451717.html
参考连接:http://www.cnblogs.com/longhuihu/p/4128203.html
上一篇:strncpy的实现
下一篇:Linux上的虚拟化技术
- linux 常见服务端口
- xmanager 2.0 for linux配置
- 【ROOTFS搭建】busybox的httpd...
- openwrt中luci学习笔记
- Linux里如何查找文件内容...
- 状态转化图
- linux进程状态转化图
- 进程的状态以及状态转化图、导致转化的事件
- Hibernate对象状态转化
- TCP状态转化
- 小白记录~hibernate中状态转化图
- hdu2955 01背包 状态转化
- 线程的状态及转化
- 缺陷的状态转化图---为你设计更好的缺陷管理软件
- boost接收连接及数据时的错误及tcp状态转化图
- Hibernate 实体对象的状态及转化
- Hibernate 实体对象的状态及转化
- hibernate3个状态间的转化
- 加深理解进程基本状态转化
- 温度状态转化加迟滞处理
- C++模拟进程状态的转化
- TCP的状态转化过程(11中状态)以及TIME_WAIT状态
- Hibernate中对象的三种状态及相互转化
- C
- strtok函数应用
- Subline Text3 基本命令
- strncpy的实现
- 组合数的性质&证明
- 状态转化图
- Linux上的虚拟化技术
- GDB简单调试linux内核与模块的方法
- 生活中的一些大大小小的事情
- UML-类图详解
- nyoj248 BUYING FEED
- WIFI基本知识整理
- 密码学基础知识
- Windows 下OpenSSL 安装详解 +图解