思维导图备注

计算的本质 - Tom Stuart
首页 收藏书籍 阅读记录
  • 书签 我的书签
  • 添加书签 添加书签 移除书签 移除书签

5.3 最大能力

浏览 7 扫码
  • 小字体
  • 中字体
  • 大字体
2022-02-20 01:56:03
请 登录 再阅读
上一篇:
下一篇:
  • 书签
  • 添加书签 移除书签
  • 版权声明
  • O'Reilly Media, Inc.介绍
  • 业界评论
  • 封面介绍
  • 前言
  • 排版约定
  • 使用代码
  • Safari® Books Online
  • 联系我们
  • 致谢
  • 第 1 章 刚好够用的Ruby基础
  • 1.1 交互式Ruby Shell
  • 1.2 值
  • 1.3 控制流
  • 1.4 对象和方法
  • 1.5 类和模块
  • 1.6 其他特性
  • 第一部分 程序和机器
  • 第 2 章 程序的含义
  • 2.1 “含义”的含义
  • 2.2 语法
  • 2.3 操作语义
  • 2.4 指称语义
  • 2.5 形式化语义实践
  • 2.6 实现语法解析器
  • 第 3 章 最简单的计算机
  • 3.1 确定性有限自动机
  • 3.2 非确定性有限自动机
  • 3.3 正则表达式
  • 3.4 等价性
  • 第 4 章 增加计算能力
  • 4.1 确定性下推自动机
  • 4.2 非确定性下推自动机
  • 4.3 使用下推自动机进行分析
  • 4.4 有多少能力
  • 第 5 章 终极机器
  • 5.1 确定型图灵机
  • 5.2 非确定型图灵机
  • 5.3 最大能力
  • 5.4 通用机器
  • 第二部分 计算与可计算性
  • 第 6 章 从零开始编程
  • 6.1 模拟lambda演算
  • 第 7 章 通用性无处不在
  • 7.1 lambda演算
  • 7.2 部分递归函数
  • 7.3 SKI组合子演算
  • 7.4 约塔（Iota）
  • 7.5 标签系统
  • 7.6 循环标签系统
  • 7.7 Conway的生命游戏
  • 7.8 rule 110
  • 7.9 Wolfram的2,3图灵机
  • 第 8 章 不可能的程序
  • 8.1 基本事实
  • 8.2 可判定性
  • 8.3 停机问题
  • 8.4 其他不可判定的问题
  • 8.5 令人沮丧的暗示
  • 8.6 发生上述情况的原因
  • 8.7 处理不可计算性
  • 第 9 章 在“玩偶国”中编程
  • 9.1 抽象解释
  • 9.2 静态语义
  • 9.3 应用
  • 后记
暂无相关搜索结果！
    展开/收起文章目录

    二维码

    手机扫一扫，轻松掌上学

    《计算的本质 - Tom Stuart》电子书下载

    请下载您需要的格式的电子书，随时随地，享受学习的乐趣！
    EPUB 电子书

    书签列表

      阅读记录

      阅读进度: 0.00% ( 0/0 ) 重置阅读进度