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

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

In this paper we proved that the function class CFRF and its proper subclass CFPRF are respectively the partial recursiv......