建立上下文无关语言(CFL)上的递归函数理论. 在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法......

It is intended to establish the recursive function theory on context free languages (CFLs). In this paper, the function ......