计算的本质：深入剖析程序和计算机【Tom Stuart】

计算的本质：深入剖析程序和计算机【Tom Stuart】

mobi+epub+azw3

本站所有资源均来自网络，版权归原作者所有，本站仅提供收集与推荐，若侵犯到您的权益，请【给我们反馈】，我们将在24小时内处理！

内容简介：

《图灵程序设计丛书·计算的质：深入剖析程序和计算机》借助简单的Ruby代码示例，全面、深入地介绍计算理论和编程语言设计。作者注重实用性，在读者熟知的背景知识下，以明晰的可工作代码阐释了形式语义、自动机理论，以及通过lambda演算进行函数式编程等计算问题，并为读者自行探索打下了良好基础。

《图灵程序设计丛书·计算的质：深入剖析程序和计算机》面向熟悉某种现代编程语言却非科班出身的程序员，是一帮你真正理解计算机科学和计算原理的参考书。…

作者简介：

TomStuart，伦敦数字产品咨询公司Codon的创始人、计算机科学家、程序员，擅长Ruby、Rails、Web应用、用户体验、面向对象设计和行为驱动开发。

另外，作为顾问、导师和培训师，他（经常通过网络）帮助各家公司高质高效地创建软件产品。他还曾在剑桥大学做编译器优化方面的演讲，与人联合组织过Ruby大会（RubyManor），而且是伦敦Ruby用户组的成员。…

目录：

封面介绍
前言
第1章刚好够用的Ruby基础
1.1交互式RubyShell
1.2值
1.2.1基数据
1.2.2数据结构
1.2.3proc
1.3控制流
1.4对象和方法
1.5类和模块
1.6其他特性
1.6.1局部变量和赋值
1.6.2字符串插值
1.6.3检查对象
1.6.4打印字符串
1.6.5可变参数方法（variadicmethod）
1.6.6代码块
1.6.7枚举类型
1.6.8结构体
1.6.9给内置对象扩展方法（MonkeyPatching）
1.6.10定义常量
1.6.11删除常量
部分程序和机器

第2章程序的含义
2.1“含义”的含义
2.2语法
2.3操作语义
2.3.1小步语义
2.3.2大步语义
2.4指称语义
2.4.1表达式
2.4.2语句
2.4.3应用
2.5形式化语义实践
2.5.1形式化
2.5.2找到含义
2.5.3备选方案
2.6实现语法解析器

第3章最简单的计算机
3.1确定性有限自动机
3.1.1状态、规则和输入
3.1.2输出
3.1.3确定性
3.1.4模拟
3.2非确定性有限自动机
3.2.1非确定性
3.2.2自由移动（freemove）
3.3正则表达式
3.3.1语法
3.3.2语义
3.3.3解析
3.4等价性

第4章增加计算能力
4.1确定性下推自动机
4.1.1存储
4.1.2规则
4.1.3确定性
4.1.4模拟
4.2非确定性下推自动机
4.2.1模拟
4.2.2不等价
4.3使用下推自动机进行分析
4.3.1词法分析
4.3.2语法分析
4.3.3实践性
4.4有多少能力

第5章机器
5.1确定型图灵机
5.1.1存储
5.1.2规则
5.1.3确定性
5.1.4模拟
5.2非确定型图灵机
5.3*能力