计算的本质:深入剖析程序和计算机_高清非扫描版

计算的本质：深入剖析程序和计算机_高清非扫描版版权声明@2013 by o reilly media, IncSimplified Chinese Edition, jointly published by O Reilly Media, Inc and Posts telecomPress, 2014. Authorized translation of the English edition, 2014 OReilly Media, Inc, theowner of all rights to publish and sell the same.All rights reserved including the rights of reproduction in whole or in part in any form英文原版由 O'Reilly media,ine.出版,2013。简体中文版由人民邮电出版社出版,2014。英文原版的翻译得到 OReilly Media,nc.的授权。此简体中文版的岀版和销售得到出版杈和销售权的所有者— O Reilly media,Inc的许可。版权所有,未得书面许可,本书的任何部分和全部内容不得以任何形式重制。O Reilly Media,nc介绍O'Reilly media通过图书、杂志、在线服务、调查研究和会议等方式传播创新知识。自1978年开始,Oˆ Reilly一直都是前沿发展的见证者和推动者。超级极客们正在开创着未来,而我们关注真正重要的技术趋势——通过放大那些“细微的信号”来刺激社会对新科技的应用。作为技术社区中活跃的参与者, O'Reilly的发展充满了对创新的倡导、创造和发扬光大Oˆ Reilly为软件开发人员带来革命性的“动物书”;创建第一个商业网站(GNN);组织了影响深远的开放源代码峰会,以至于开源软件运动以此命名;创立了Make杂志,从而成为DⅠY革命的主要先锋;公司一如既往地通过多种形式缔结信息与人的纽带。oˆ Reilly的会议和峰会集聚了众多超级极客和高瞻远瞩的商业领袖,共同描绘岀开创新产业的革命性思想。作为技术人士获取信息的选择, O Reilly现在还将先锋专家的知识传递给普通的计算机用户。无论是通过书籍出版,在线服务或者面授课程,每项oˆ Reilly的产品都反映了公司不可动摇的理念——信息是激发创新的力量业界评论¨ O'Reilly radar博客有口皆碑。”— WiredO'Reilly凭借一系列(真希望当初我也想到了)非凡想法建立了数百万美元的业务。”Business 2.0Oˆ Reilly Conference是聚集关键思想领袖的绝对典范。”CRM“一本 O'Reilly的书就代表一个有用、有前途、需要学习的主题。”— Trish times¨Tim是位特立独行的商人,他不光放眼于最长远、最广阔的视野并且切实地按照Yogi Berra的建议去做了:‘如果你在路上遇到岔路口,走小路(岔路)。’回顾过去Tim似乎每一次都选择了小路,而且有几次都是一闪即逝的机会,尽管大路也不错」Linux journa目录封面介绍前言第1章刚好够用的Ruby基础1.1交互式 Ruby shell1.2值1.2.1基本数据1.22数据结构122341.2.3proc…1.3控制流……1.4对象和方法1.5类和模块…1.6其他特性1.6.1局部变量和赋值……1.6.,2字符串插值…1.6.3检查对象7788864打印字符串1.6.5可变参数方法( variadic method)…1.6.6代码块…………1.6.7枚举类型…1016.8结构体…1.6.9给内置对象扩展方法( Monkey Patching)121.6.10定义常量……131.6.11删除常量第一部分程序和机器第2章程序的含义……172.1“含义”的含义………2.2语法…2.3操作语义192.3.1小步语义…………2023.2大步语义24指称语义4624.1表达式……………46242语句4924.3应用……5125形式化语义实践25.1形式化52252找到含义2.53备选方案532.6实现语法解析器…第3章最简单的计算机3.1确定性有限自动机…3.1.1状态、规则和输入3.1.2输出3.1.3确定性…………3.1.4模拟623.2非确定性有限自动机653.2.1非确定性…3.2.2自由移动( free move)…3.3正则表达式,,…743.3.1语法…753.3.2义………78333解析8634等价性……88目录第4章增加计算能力4.1确定性下推自动机……1004.1.1存储1004.1.2规则…1014.1.3确定性1034.1.4模拟4.2非确定性下推自动机…1104.2.1模拟11342.2不等价1154.3使用下推自动机进行分析11643.1词法分析11643.2语法分析…l184.3.3实践性…12244有多少能力…123第5章终极机器1255.1确定型图灵机·1255.1.1存储1265.1.2规则1275.1.3确定性……1315.1.4模拟5.2非确定型图灵机135.3最大能力……13753.1内部存储1375.3.2子例程…………14053.3多纸带………5.3.4多维纸带…………54通用机器…………………………1425.4.1编码…5.4.2模拟145第二部分计算与可计算性第6章从零开始编程…1496.1模拟 lambda演算……目录|W61.1使用proc工作1506.1.2问题…1526.1.3数字6.1.4布尔值…1566.1.5谓词16061.6有序对16l6.1.7数值运算…16161.8列表16861.9字符串1726.1.10解决方案…………1746.1.11高级编程技术1786.,2实现 lambda演算………………………………………………………………1846.2.1语法6.2.2语义186623语法分析第7章通用性无处不在…………………………1937.1 lambda演算……………………19372部分递归函数7.3SKI组合子演算………2017.4约塔(Iota)……………………………2107.5标签系统2137.6循环标签系统……77 Conway的生命游戏7.8rule110……………………………………………………………23179 Wolfram的2,3图灵机…234第8章不可能的程序2358.1基本事实……………2368.1.1能执行算法的通用系统2368.1.2能够替代图灵机的程序…8.1.3代码即数据8.1.4可以永远循环的通用系统……………………2418.1.5能引用自身的程序………2458.2可判定性25083停机问题…………………………2518.3.1构建停机检查器………251目录8.32永远不会有结果25484其他不可判定的问题2588.5令人沮丧的暗示…·2608.6发生上述情况的原因…2618.7处理不可计算性262第9章在“玩偶国”中编程…2659.1抽象解释……9.1.1路线规划…26691.2抽象:乘法的符号…26791.3安全和近似:增加符号…27092静态语义……2749.2.1实现27592.2好处和限制28193应用…后记……285目录X封面介绍本书封面上的动物是砗蚝(拉丁学名为 Hippopus hippopus)。砗蚝因其形状又叫马蹄蛤,又因其颜色泛红称为草莓蛤。砗蚝是砗磲科巨蛤亚科的一部分,而砗磲科又是乌蛤科的部分。砗蚝主要生活在印度洋一太平洋区域的礁石中砗蚝有两个相同而对称的铰合部。它还有着深深的嵴和与众不同的红白图案。砗蚝待在个地方使用虹管过滤周围的水之后,以周围的浮游生物为食。