[计]?递归可实现性

... 递归计算机体系结构 recursive computer architecture 递归可实现性 recursive realizability 递归例行程序 recursive routine ...