技术宅的结界

 找回密码
 立即注册→加入我们

QQ登录

只需一步,快速开始

搜索
热搜: 下载 VB C 实现 编写
查看: 2923|回复: 11
收起左侧

【资源】两本超好的关于CAS的书籍!

[复制链接]

85

主题

260

帖子

3763

积分

用户组: 管理员

No. 418

UID
418
精华
13
威望
52 点
宅币
1969 个
贡献
1365 次
宅之契约
0 份
在线时间
252 小时
注册时间
2014-8-9
发表于 2015-10-19 03:54:40 | 显示全部楼层 |阅读模式

欢迎访问技术宅的结界,请注册或者登录吧。

您需要 登录 才可以下载或查看,没有帐号?立即注册→加入我们

x
CAS即:Computer Algebra System 计算机代数系统,是为解决符号计算而生的。
以楼主初浅的了解,在编译系统的编译器构建器(compiler-compiler)中,对于正则表达式的优化需要进行大量正则代数运算。
因为楼主没有仔细研究过C编译器源码或者yacc lex等编译器构建器源码,所以不能断定。但是还是猜测,对于if等逻辑表达式的
优化,也涉及到了逻辑代数,这一切都与CAS有关。
PS:好像Tiny-C Compiler对逻辑表达式优化仅仅做短路处理,就是说短路根本不算代数上的优化。如果在编译系统前端加入代数优化引擎
会不会让效率飞起来?
那么逻辑代数甭说了,对于逻辑电路设计太重要了。所以不仅仅是编译系统,CAD等类型软件同样需要CAS。

题外话:单纯从形式语言处理来讲,将文法转为自动机。然后再自动机内删空环路,删空变迁,确定自动机,最后进行约简。
那么正则文法由正则表达式得来,如果我们在构建正则后立即使用CAS对正则代数表达式约简的话,会提高效率吗?
这样做的好处是显而易见的,分离CAS引擎与编译器的词/语法分析。那么开发效率也会大大增高。
然后就是我觉得仅仅对表达式做“常量折叠”优化太简单了,如果使用CAS彻底优化表达式/函数。。。。。。。。(瞬间爆炸!)
好处并不局限于编译器本身效率的增加,约简后生成的抽象语法树也会相应变得精简,然后加上后端关于目标代码的优化,使得整个编译系统
包括其生成的目标代码质量,效率达到“可怕”的地步!

所以说说了这么多大家应该抽时间好好研究一下CAS

这里是两本书,回复后即可下载:
游客,如果您要查看本帖隐藏内容请回复


然后AT一下大家,谈谈看法:
@0xAA55 @元始天尊
In the beginning I was not the best.
And the world was also not the best.
But I still know that I am who I am.
Because I think that it is good.
I have been working hard.
I have been keeping growth with the world.
And it was so.
回复

使用道具 举报

37

主题

184

帖子

1851

积分

用户组: 管理员

UID
8
精华
1
威望
14 点
宅币
1610 个
贡献
24 次
宅之契约
0 份
在线时间
259 小时
注册时间
2014-1-27
发表于 2015-10-20 08:26:38 | 显示全部楼层
推荐楼主再去看看下面这2本书:

compiler.jpg

22870114-1_u_21.jpg

85

主题

260

帖子

3763

积分

用户组: 管理员

No. 418

UID
418
精华
13
威望
52 点
宅币
1969 个
贡献
1365 次
宅之契约
0 份
在线时间
252 小时
注册时间
2014-8-9
 楼主| 发表于 2015-10-20 11:26:10 | 显示全部楼层
13*0217 发表于 2015-10-20 08:26
推荐楼主再去看看下面这2本书:

嗯,非常感谢你的推荐。
In the beginning I was not the best.
And the world was also not the best.
But I still know that I am who I am.
Because I think that it is good.
I have been working hard.
I have been keeping growth with the world.
And it was so.

1059

主题

2442

帖子

6万

积分

用户组: 管理员

一只技术宅

UID
1
精华
221
威望
348 点
宅币
19500 个
贡献
40277 次
宅之契约
0 份
在线时间
1839 小时
注册时间
2014-1-26
发表于 2015-10-21 16:01:51 | 显示全部楼层
你的两个链接只有一个被识别了,建议用[url]地址[/url]这种方式发链接。

85

主题

260

帖子

3763

积分

用户组: 管理员

No. 418

UID
418
精华
13
威望
52 点
宅币
1969 个
贡献
1365 次
宅之契约
0 份
在线时间
252 小时
注册时间
2014-8-9
 楼主| 发表于 2015-10-21 19:59:40 | 显示全部楼层
0xAA55 发表于 2015-10-21 16:01
你的两个链接只有一个被识别了,建议用地址这种方式发链接。

roger!已经修改完毕!
In the beginning I was not the best.
And the world was also not the best.
But I still know that I am who I am.
Because I think that it is good.
I have been working hard.
I have been keeping growth with the world.
And it was so.

0

主题

5

帖子

30

积分

用户组: 初·技术宅

UID
1292
精华
0
威望
1 点
宅币
23 个
贡献
0 次
宅之契约
0 份
在线时间
2 小时
注册时间
2015-11-25
发表于 2015-11-25 21:53:08 | 显示全部楼层
感觉高大上的样子

0

主题

1

帖子

10

积分

用户组: 初·技术宅

UID
2022
精华
0
威望
0 点
宅币
9 个
贡献
0 次
宅之契约
0 份
在线时间
0 小时
注册时间
2016-10-22
发表于 2016-10-22 23:18:18 | 显示全部楼层
回复

使用道具 举报

0

主题

1

帖子

8

积分

用户组: 初·技术宅

UID
2279
精华
0
威望
1 点
宅币
5 个
贡献
0 次
宅之契约
0 份
在线时间
0 小时
注册时间
2017-2-24
发表于 2017-2-24 14:46:44 | 显示全部楼层
程序语言理论吗~

0

主题

1

帖子

9

积分

用户组: 初·技术宅

UID
3240
精华
0
威望
0 点
宅币
8 个
贡献
0 次
宅之契约
0 份
在线时间
0 小时
注册时间
2017-12-23
发表于 2017-12-23 12:56:04 | 显示全部楼层
这么个怎么回事

1

主题

12

帖子

40

积分

用户组: 初·技术宅

UID
3593
精华
0
威望
2 点
宅币
24 个
贡献
0 次
宅之契约
0 份
在线时间
1 小时
注册时间
2018-3-20
发表于 2018-3-20 14:38:28 | 显示全部楼层
这个可以有。。

24

主题

261

帖子

1499

积分

用户组: 上·技术宅

UID
3808
精华
6
威望
53 点
宅币
1012 个
贡献
90 次
宅之契约
0 份
在线时间
261 小时
注册时间
2018-5-6
发表于 2019-8-23 22:29:42 | 显示全部楼层
支持楼主,感谢分享!
菜鸟一枚,直接指正,不必留情

4

主题

10

帖子

67

积分

用户组: 小·技术宅

UID
5569
精华
0
威望
2 点
宅币
53 个
贡献
0 次
宅之契约
0 份
在线时间
7 小时
注册时间
2020-1-31
发表于 2020-1-31 12:08:28 | 显示全部楼层
想康康。
回复

使用道具 举报

本版积分规则

QQ|申请友链||Archiver|手机版|小黑屋|技术宅的结界 ( 滇ICP备16008837号 )|网站地图  

GMT+8, 2020-7-11 18:10 , Processed in 0.116962 second(s), 35 queries , Gzip On.

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表