序言

预备知识

第一章：上下文无关与类ALGOL语言

1.1 短语结构语言

1.2 类ALGOL语言

1.3 等价性

1.4 辅助引理

1.5 派生树

1.6 岐义性

1.7 置换

1.8 ε无关文法

1.9 历史参考资料

2.1 有穷状态接受器和正规集合

第二章：接受器和语言

2.2 线性生成式

2.3 一类特殊形式的语言

2.4 下推接受器

2.5 描述

2.6 确定的语言

2.7 历史参考资料

第三章 运算

3.1 非语言

3.2 交和差

3.3 时序转换器映射

3.4 Gsm映射的描述

3.5 下推转换器

3.6 特殊运算

3.7 同态描述

3.8 历史参考资料

第四章：可判定性

4.1 可解性结果

4.2 基本的不可判定问题

4.3 Gsm映射

4.4 Pdt映射

4.5 岐义性

4.6 历史参考资料

第五章：有界语言

5.1 基本术语

5.2 Parikh定理

5.3 结构

5.4 描述

5.5 识别

5.6 其他判定问题

5.7 历史参考资料

第六章：先天岐义性

6.1 a1*...an*中的先天岐义语言

6.2 有界先天岐义语言

6.3 判定程序

6.4 历史参考资料

附录：定理5.6.2的证明

参考文献和有关文章

索引：

符号

作者

主题