The formula method of recursive programming based on solving state

• 基于求解状态的递归程序设计公式化方法