一类上下文无关语法的一个推理算法

本文提供一个关于一类上下文无关语法的推理算法,这个算法由上下文无关语言的性质导出,着重于寻求文法的自嵌套结构。算法限制语言的自嵌套结构具有生成式 A→a_1Aa_2的形式,其中 a_1、a_2∈(V_N∪V_T)且非空。考虑了加强的结构地完备的样品集的大小和结构。并提出了一个语言几次近似的概念。最后,对算法的扩展作了初步的讨论。