cyycoish 发表于 2015-10-19 03:54:40

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

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

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

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

这里是两本书，回复后即可下载：
**** Hidden Message *****

然后AT一下大家，谈谈看法：
@0xAA55 @元始天尊

13*0217 发表于 2015-10-20 08:26:38

推荐楼主再去看看下面这2本书：




cyycoish 发表于 2015-10-20 11:26:10

13*0217 发表于 2015-10-20 08:26
推荐楼主再去看看下面这2本书：

:lol嗯，非常感谢你的推荐。

0xAA55 发表于 2015-10-21 16:01:51

你的两个链接只有一个被识别了，建议用地址这种方式发链接。

cyycoish 发表于 2015-10-21 19:59:40

0xAA55 发表于 2015-10-21 16:01
你的两个链接只有一个被识别了，建议用地址这种方式发链接。

roger!已经修改完毕！

Tramy1234 发表于 2015-11-25 21:53:08

感觉高大上的样子

June 发表于 2016-10-22 23:18:18

:loveliness:

少年英雄王二小 发表于 2017-2-24 14:46:44

程序语言理论吗~

46490630 发表于 2017-12-23 12:56:04

这么个怎么回事

ahbbxie78 发表于 2018-3-20 14:38:28

这个可以有。。

watermelon 发表于 2019-8-23 22:29:42

支持楼主，感谢分享！

Young Villia 发表于 2020-1-31 12:08:28

想康康。

asm 发表于 2021-3-30 10:27:11

:):):)康康

simakeng 发表于 2021-4-7 14:08:09

一直不知道CAS是怎么工作的，反正Mathematicas一把梭（
正好看看

DaV0001 发表于 2021-4-9 16:15:11

非常感谢楼主推荐

lovingxiaobing 发表于 2023-4-29 23:36:30

就是想康康！

Mat 发表于 2023-4-30 00:09:38

:victory:

cnHopeStudio 发表于 2023-4-30 17:29:10

感谢您的分享！

usr 发表于 2024-5-11 14:31:29

Thanks for sharing, let me see see.:P

cloud0121 发表于 2024-6-11 10:36:59

感谢感谢
页: [1]
查看完整版本: 【资源】两本超好的关于CAS的书籍！