上下文无关语言上的递归函数——Ⅰ. CFPRF及CFRF的定义
상하문무관어언상적체귀함수——Ⅰ. CFPRF급CFRF적정의