重要概念。。写在上面的是前提前提前提。。。刷题刷多了 有时候看到跟自己长一样的function会自动想到递归。。。
基础版本:
1. 是不是condition false的必须写在Top,这样condition 为true的才能reference到这个?
2. while e1 loop e2 pool: void s3 的前提是while e1 loop e2 pool : void, s3
while true...进去执行一波,然后进入下一个while e1 loop e2...
进阶:
看Loop-false的情况: 前提是while e1 loop e2 pool: v3, S3 。 也就是不管接下来几轮while成啥样都return Int(1)
难。。应该是最后一大题级别的。
这里实现了一个counter, 如果循环偶数次 return mod 2也就是0. 如果循环奇数次 mod 2 =1.
然后注意前提: so, s, e|- while e1 loop e2 pool : Int(1), s3
也就是说如果上一轮是奇数,这一轮就是偶数了!
如果mod 的数不是2,而是很大的话。或许需要return 一个counter i. 然后 i mod n之类的
网友评论