理解模型——用树的概念理解递归

1-模型概述

3个跳转
向下 down
向上 up
平移 move
4个区：

func(…){
    # 函起区 func_start
    while{
        # 循起区 while_start
        func(…);
        # 循结区 while_end
    }
    # 函结区 func_end
}

5个状态
起后 AFTER_BEGIN ：[func_start, while_start]
下后 AFTER_DOWN : [func_start, while_start]
循后 AFTER_MOVE : [while_end, while_start]
上后 AFTER_UP : [while_end, func_end]
结前 BEFORE_END : [while_end, func_end]
简单校检
假设有n次跳转，那么：
- 有（n+2）个状态；
- 2*（n+2）个区操作；
- 所有操作对象都出现两次。

2-示例

序号	状态	操作区域	操作对象
1	BEGIN_AFTER	0.func_start; 0.while_start;	2
2	DOWN_AFTER	1.func_start; 1.while_start;	4
3	DOWN_AFTER	2.func_start; 2.while_start;	12
4	UP_AFTER	2.while_end; 2.func_end;	12
5	MOVE_AFTER	1.while_end; 1.while_start;	4&5
6	UP_AFTER	1.while_end; 1.func_end;	5
7	END_BEFOR	0.while_end; 0.func_end;	2