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

QQ登录

只需一步,快速开始

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

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

[复制链接]
发表于 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 @元始天尊
回复

使用道具 举报

发表于 2015-10-20 08:26:38 | 显示全部楼层
推荐楼主再去看看下面这2本书:

compiler.jpg

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

使用道具 举报

 楼主| 发表于 2015-10-20 11:26:10 | 显示全部楼层
13*0217 发表于 2015-10-20 08:26
推荐楼主再去看看下面这2本书:

嗯,非常感谢你的推荐。
回复 赞! 靠!

使用道具 举报

发表于 2015-10-21 16:01:51 | 显示全部楼层
你的两个链接只有一个被识别了,建议用[url]地址[/url]这种方式发链接。
回复 赞! 靠!

使用道具 举报

 楼主| 发表于 2015-10-21 19:59:40 | 显示全部楼层
0xAA55 发表于 2015-10-21 16:01
你的两个链接只有一个被识别了,建议用地址这种方式发链接。

roger!已经修改完毕!
回复 赞! 靠!

使用道具 举报

发表于 2015-11-25 21:53:08 | 显示全部楼层
感觉高大上的样子
回复 赞! 靠!

使用道具 举报

发表于 2016-10-22 23:18:18 | 显示全部楼层
回复

使用道具 举报

发表于 2017-2-24 14:46:44 | 显示全部楼层
程序语言理论吗~
回复 赞! 靠!

使用道具 举报

发表于 2017-12-23 12:56:04 | 显示全部楼层
这么个怎么回事
回复 赞! 靠!

使用道具 举报

发表于 2018-3-20 14:38:28 | 显示全部楼层
这个可以有。。
回复 赞! 靠!

使用道具 举报

发表于 2019-8-23 22:29:42 | 显示全部楼层
支持楼主,感谢分享!
回复 赞! 靠!

使用道具 举报

发表于 2020-1-31 12:08:28 | 显示全部楼层
想康康。
回复

使用道具 举报

发表于 2021-3-30 10:27:11 | 显示全部楼层
康康
回复

使用道具 举报

发表于 2021-4-7 14:08:09 | 显示全部楼层
一直不知道CAS是怎么工作的,反正Mathematicas一把梭(
正好看看
回复 赞! 靠!

使用道具 举报

发表于 2021-4-9 16:15:11 | 显示全部楼层
非常感谢楼主推荐
回复 赞! 靠!

使用道具 举报

发表于 2023-4-29 23:36:30 | 显示全部楼层
就是想康康!
回复 赞! 靠!

使用道具 举报

发表于 2023-4-30 00:09:38 | 显示全部楼层
回复

使用道具 举报

发表于 2023-4-30 17:29:10 | 显示全部楼层
感谢您的分享!
回复 赞! 靠!

使用道具 举报

发表于 2024-5-11 14:31:29 | 显示全部楼层
Thanks for sharing, let me see see.
回复 赞! 靠!

使用道具 举报

本版积分规则

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

GMT+8, 2024-5-25 02:59 , Processed in 0.041439 second(s), 25 queries , Gzip On.

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

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