上下文无关语言上的递归函数研究

建立上下文无关语言上的递归函数理论。这种函数的定义域和值域是上下文无关语言（ＣＦＬ），于是自变量和函数值具有短语结构。这种函数包含自然数和字上的函数为其特殊情形，它们可以用作新的函数式语言的理论基础，特点是对于具有复杂构造的对象，能够十分直接地表述其加工算法。