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

QQ登录

只需一步,快速开始

搜索
热搜: 下载 VB C 实现 编写
查看: 5385|回复: 17

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

[复制链接]

85

主题

175

回帖

3990

积分

用户组: 超级版主

No. 418

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

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

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

×
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

主题

153

回帖

1997

积分

用户组: 超级版主

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

compiler.jpg

22870114-1_u_21.jpg
回复 赞! 靠!

使用道具 举报

85

主题

175

回帖

3990

积分

用户组: 超级版主

No. 418

UID
418
精华
14
威望
53 点
宅币
1974 个
贡献
1582 次
宅之契约
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.
回复 赞! 靠!

使用道具 举报

1109

主题

1649

回帖

7万

积分

用户组: 管理员

一只技术宅

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

使用道具 举报

85

主题

175

回帖

3990

积分

用户组: 超级版主

No. 418

UID
418
精华
14
威望
53 点
宅币
1974 个
贡献
1582 次
宅之契约
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

主题

11

回帖

40

积分

用户组: 初·技术宅

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

使用道具 举报

29

主题

315

回帖

1561

积分

用户组: 上·技术宅

UID
3808
精华
11
威望
105 点
宅币
702 个
贡献
165 次
宅之契约
0 份
在线时间
404 小时
注册时间
2018-5-6
发表于 2019-8-23 22:29:42 | 显示全部楼层
支持楼主,感谢分享!
Passion Coding!
回复 赞! 靠!

使用道具 举报

4

主题

6

回帖

69

积分

用户组: 小·技术宅

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

使用道具 举报

0

主题

5

回帖

71

积分

用户组: 小·技术宅

UID
4869
精华
0
威望
2 点
宅币
62 个
贡献
0 次
宅之契约
0 份
在线时间
14 小时
注册时间
2019-4-25
发表于 2021-3-30 10:27:11 | 显示全部楼层
康康
回复

使用道具 举报

1

主题

21

回帖

116

积分

用户组: 小·技术宅

UID
2198
精华
0
威望
2 点
宅币
67 个
贡献
23 次
宅之契约
0 份
在线时间
11 小时
注册时间
2017-1-26
发表于 2021-4-7 14:08:09 | 显示全部楼层
一直不知道CAS是怎么工作的,反正Mathematicas一把梭(
正好看看
回复 赞! 靠!

使用道具 举报

0

主题

3

回帖

22

积分

用户组: 初·技术宅

UID
6951
精华
0
威望
1 点
宅币
17 个
贡献
0 次
宅之契约
0 份
在线时间
1 小时
注册时间
2021-4-9
发表于 2021-4-9 16:15:11 | 显示全部楼层
非常感谢楼主推荐
回复 赞! 靠!

使用道具 举报

0

主题

27

回帖

272

积分

用户组: 中·技术宅

UID
4725
精华
0
威望
2 点
宅币
241 个
贡献
0 次
宅之契约
0 份
在线时间
38 小时
注册时间
2019-3-2
发表于 2023-4-29 23:36:30 | 显示全部楼层
就是想康康!
回复 赞! 靠!

使用道具 举报

3

主题

20

回帖

156

积分

用户组: 中·技术宅

UID
8271
精华
0
威望
2 点
宅币
347 个
贡献
0 次
宅之契约
0 份
在线时间
55 小时
注册时间
2023-3-25
发表于 2023-4-30 00:09:38 | 显示全部楼层
回复

使用道具 举报

0

主题

11

回帖

268

积分

用户组: 中·技术宅

UID
8012
精华
0
威望
2 点
宅币
253 个
贡献
0 次
宅之契约
0 份
在线时间
57 小时
注册时间
2022-8-9
发表于 2023-4-30 17:29:10 | 显示全部楼层
感谢您的分享!
回复 赞! 靠!

使用道具 举报

QQ|Archiver|小黑屋|技术宅的结界 ( 滇ICP备16008837号 )|网站地图

GMT+8, 2024-3-28 19:29 , Processed in 0.052780 second(s), 34 queries , Gzip On.

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

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