技术宅的结界

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

QQ登录

只需一步,快速开始

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

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

[复制链接]

85

主题

263

帖子

3643

积分

用户组: 管理员

No. 418

UID
418
精华
13
威望
52 点
宅币
1969 个
贡献
1242 次
宅之契约
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.

35

主题

180

帖子

1770

积分

用户组: 管理员

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

compiler.jpg

22870114-1_u_21.jpg

85

主题

263

帖子

3643

积分

用户组: 管理员

No. 418

UID
418
精华
13
威望
52 点
宅币
1969 个
贡献
1242 次
宅之契约
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.

1041

主题

2316

帖子

5万

积分

用户组: 管理员

一只技术宅

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

85

主题

263

帖子

3643

积分

用户组: 管理员

No. 418

UID
418
精华
13
威望
52 点
宅币
1969 个
贡献
1242 次
宅之契约
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 | 显示全部楼层
这个可以有。。

本版积分规则

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

GMT+8, 2019-7-17 03:22 , Processed in 0.118454 second(s), 40 queries , Gzip On.

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

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