首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >2020-3-4-T型图介绍

2020-3-4-T型图介绍

作者头像
黄腾霄
发布2020-06-10 15:10:26
7940
发布2020-06-10 15:10:26
举报
文章被收录于专栏:黄腾霄的博客黄腾霄的博客

在看到编译器相关知识时,发现有一个T型图的概念,于是就记录一下


什么是T型图

T型图是用于描述编译器实现时的一种辅助工具。

我们都知道描述一个语言编译,需要源代码,编译器,和目标代码,三个组成部分。

这三者都有自己的生成语言描述,正好可以使用一个T型图标识。

image-20200304192236519
image-20200304192236519

这里下面的t型图表示使用β语言书写的编译器,将α语言写的源代码编译成为γ语言。

image-20200304195208626
image-20200304195208626

T型图作用

有了T型图我们就可以来描述编译器构建。

比如下图,就是我先使用c语言编写了java编译器一个将java代码转成本地机器码的编译器。

然后使用本地现有的c语言编译器,将之前用C语言编写的Java编译器编译成本地机器码。

这样我们就最终得到了一个本地机器码编写的Java编译器。

image-20200304200536250
image-20200304200536250

再举一个比较火的例子,如果我期望使用Java创建一个Java的编译器,即self-hosting,我该怎么用T型图描述呢?

image-20200304201145527
image-20200304201145527

我先创建了一个Java书写的Java编译器。目标是将Java编译成本机的机器码。

但是计算机不能直接运行这个Java编译器,所以使用一个C语言编写的编译器,将Java编译器的Java代码编译成本地机器码。

然后要运行这个C语言编写的编译器,要先调用本机代码,将C语言编译成本地机器码。

这样一轮下来,我们最终得到的可以在本机运行的Java编译器。


参考文档:


本文会经常更新,请阅读原文: https://xinyuehtx.github.io/post/T%E5%9E%8B%E5%9B%BE%E4%BB%8B%E7%BB%8D.html ,以避免陈旧错误知识的误导,同时有更好的阅读体验。

本作品采用 知识共享署名-非商业性使用-相同方式共享 4.0 国际许可协议 进行许可。欢迎转载、使用、重新发布,但务必保留文章署名黄腾霄(包含链接: https://xinyuehtx.github.io ),不得用于商业目的,基于本文修改后的作品务必以相同的许可发布。如有任何疑问,请 与我联系

本文参与 腾讯云自媒体分享计划,分享自作者个人站点/博客。
原始发表:2020-03-04 ,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体分享计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 什么是T型图
  • T型图作用
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档