美文网首页
Semantics analysis之while loop

Semantics analysis之while loop

作者: 98Future | 来源:发表于2017-10-31 15:36 被阅读0次

    重要概念。。写在上面的是前提前提前提。。。刷题刷多了 有时候看到跟自己长一样的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之类的

    相关文章

      网友评论

          本文标题:Semantics analysis之while loop

          本文链接:https://www.haomeiwen.com/subject/kgybpxtx.html