一般递归系统更适合于对变量做（）的解释。