第 13 章 计算模型
# 第 13 章 计算模型
# 13.1 语言和文法
# 13.1.1 引言
# 13.1.2 短语结构文法
# 13.1.3 短语结构方法的类型
# 13.1.4 派生树
# 13.1.5 巴克斯-诺尔范式
# 13.2 带输出的有限状态机
# 13.2.1 引言
# 13.2.2 带输出的有限状态机
# 13.3 不带输出的有限状态机
# 13.3.1 引言
# 13.3.2 串的集合
# 13.3.3 有限状态自动机
# 13.3.4 有限状态机的语言识别
# 13.4 语言的识别
# 13.4.1 引言
# 13.4.2 Kleene 定理
# 13.4.3 正则集合和正则文法
# 13.4.4 一个不能由有限状态自动机识别的集合
# 13.4.5 一些更强大的机器
# 13.5 图灵机
# 13.5.1 引言
# 13.5.2 图灵机的定义
# 13.5.3 用图灵机识别集合
# 13.5.4 用图灵机计算函数
# 13.5.5 不同类型的图灵机
# 13.5.6 丘奇-图灵论题
# 13.5.7 计算复杂度、可计算性与可判定性
编辑 (opens new window)