论文部分内容阅读
递归概念可以在句子中重复派生、循环出现。对这样的句子推断时，若为递归概念的每一个派生部分引进一个递归概念来描述，将推断出多个与之有相似的产生式结构的递归概念，同时也构造出一个新文法。本文先给出新文法的形式化构造方法，证明了新文法与原文法的等价性。在文章的后部，通过实例，介绍该定理在简化复杂文法推断中的应用。