形式语言与自动机第三章复习总结

Turing Machine
图灵机

与下推自动机类似，都有七个部分，不过栈的符号集合转变为taple集合，转移函数对taple进行操作，并且b是一个空字符，
瞬时表如下

图灵机接受的语言叫递归可枚举语言

以上为递归语言的定义

递归语言的性质

乔布斯及语法的四种类型

线程绑定的自动机，非确定性图灵机

右线程语法

左线程语法

等价状态和可区分状态

以上为第三章内容，主要讲解了图灵机以及递归可枚举语言的使用。