关于语法几何的一些论述

本文沿袴 Dymetman(1998) 的方法，提出了基于取消图几何（概念来自组合群论中 Lyndon-Schuppe(1977) 的核心概念）的语法描述与处理方法。本文关注几何直觉及将群论图与传统的上下文无关语法和类型-0 rewrite 系统相关联。论文结构如下：第 1 节通过分析称为“细胞”的结构，介绍了以细胞为几何对应关系的语法规则。第 2 节介绍取消图并展示其计算应用。第 3 节给出基于自由群与共轭关系的群计算结构形式化表述。第 4 节通过组合群论基本定理 (Rotman, 1994) 将几何观与代数观相结合。第 5 节以简单语法为基础，深入研究两种观点的关系。第 6 节扩展语法以处理非局部结构，如相对代词和量词。第 7 节简要讨论正常子单与正常子群之间的差异、群计算与 rewrite 系统的区别，以及利用群同态研究解析与生成的计算复杂性。