摘要

针对递归过程的直观理解问题,提出了一种形式语言.通过该形式语言,可在对递归程序宏观仅有所了解的基础上构造出直观执行模型.实例证明,此直观执行模型能有效地使复杂递归过程具体化.