思维导图备注

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

2.5　形式化语义实践

浏览 1 扫码
  • 小字体
  • 中字体
  • 大字体
2022-01-25 04:44:19
请 登录 再阅读
上一篇:
下一篇:
  • 书签
  • 添加书签 移除书签
  • 版权声明
  • 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　应用
  • 后记
暂无相关搜索结果！
    展开/收起文章目录

    二维码

    手机扫一扫，轻松掌上学

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

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

    书签列表

      阅读记录

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