形式语言与自动机 第9章 线性有界自动机和上下文有关语言

第9章 线性有界自动机和上下文有关语言

线性有界自动机

线性有界自动机（LBA）是一种特殊的非确定的图灵机，是一个九元组：$M=(Q,\Sigma ,\Gamma ,⊢,⊣,\delta ,s,t,r)$，其中：$⊣$ 是右端标记，其余与图灵机相同

线性有界自动机和上下文有关文法的关系

LBA 和 CSG 等价，证明就不写啦~

上下文有关语言的性质

注意：CSL 中是一定不含空串 $\epsilon$ 的

Th 9.3：CSL 关于 并、连接、正闭包 运算封闭

（并：$S\to S_1|S_2$ ；连接：$S\to S_1{S}_2$ ；正闭包：$S\to S{S}_1|S_1$ ）

Th 9.4：CSL 类对 交 运算封闭

（先模拟其中一个 LBA 运行，再模拟另外一个 LBA 运行）

Th 9.5：每个 CSL 都是递归的

（LBA 本身是特殊的 TM；又由于 LBA 有界，故格局数有限，所以可以记录其步数，当超过最大格局数时停机，即肯定可以停机）

Th 9.6：存在一个递归集，它不是 CSL

（记住就好）

谱系定理

谱系定理：各语言类之间存在下列关系：

• RL 真包含在 CFL 中
• 不含 $\epsilon$ 的 CFL 真包含在 CSL 中
• CSL 真包含在递归集中
• 递归集真包含在 $r.e.$ 中
• 在递归可枚举集类之外，存在者非 $r.e.$ 语言

看图！