[原创]小语言编译器
哈哈,真没想到自己现在真能写编译器拉。我是完成了《编译原理及实践》中的实验,但很多具体细节的实现方法和书中所提是大相径庭的。可以说保持了主流程 扫描-语法分析-生存语法树-翻译成目标代码 是一致的,各个环节的具体实现很多是野招式。朋友问我为什么?其实很简单,TMD,那本书的很多东西看不懂啊,那只能自己理解了一部分就动手尝试啦。
所以我的词法+语法分析是一起完成的。并且是在扫描生成语法树的时候完成的。而且一旦遇到错误将退出,并不会像我们常用的编译器一样,可以在扫描后再进行词法语法分析。这当然是当时没理解透,自己按自己的想法做的结果。不过好歹也算给我完成啦。不说那么多。发出来给大伙玩玩先。
实现的语言:
T I N Y的程序结构很简单,它在语法上与A d a或P a s c a l的语法相似:仅是一个由分号分隔开
的语句序列。另外,它既无过程也无声明。所有的变量都是整型变量,通过对其赋值可较轻易
地声明变量(类似F O RT R A N或B A S I C)。它只有两个控制语句: i f语句和r e p e a t语句,这两个
控制语句本身也可包含语句序列。I f语句有一个可选的e l s e部分且必须由关键字e n d结束。除此
之外,r e a d语句和w r i t e语句完成输入/输出。在花括号中可以有注释,但注释不能嵌套。
以上是摘至书中。而其实我实现又改了一点,即,没条完成语句必须像C那样有 ; 号结束。因为我看到他自己提供的实例有的语句有 ; 号有的又没有。晕了,所以将其直接改造成统一有 ; 号。还有判断语句书中实现的只有 > ,我现在把其扩充到 > < = 三种比较方式。
目标平台:
TMMY 虚拟机。
为什么不在真实的机器上实现?天哦,X86体系TTM复杂啦,目前没那工夫去研究。所以按书上提供的,在一个虚拟机上来跑。其实我是先自己做了这个虚拟机,将他的“机器特性”掌握后才对要做的编译器将怎么工作有了个初步了解。所以到时候我们的文章,也将从编写出这个虚拟机开始。
目标代码:
超简单的汇编。
这个和TMMY机紧密相关,到时候会详细介绍。
总之,这个实验,只是为了了解和初步掌握编译原理的相关知识,所以要实现的目标是相对简单的。
下载: http://www.
暂时只给出编译器 SMMY.EXE 和虚拟机 TMMY.exe
里面有个算阶层的实验代码。大伙可以自己试试。
后面这段时间,我会整理代码,编写文章将完成这个编译器的过程和经验。结合代码详细的做个总结。有兴趣的朋友可以来捧捧场哦!
[[it] 本帖最后由 jig 于 2008-11-13 23:07 编辑 [/it]]