[问题] watch真奥妙

楼主: gun740201 (孤独地拥抱了真实 )   2009-06-18 22:21:22
可以请问一下
每个gate 的watching-0,watching-1,watching-known真正的定义是什么吗?
看了作业和投影片的几个case 每次都以为搞懂了
但是总是会发生无法解释的counter example
所以想要知道最原本的定义
作者: ochou (哈哈哈哈哈handsomeGUY哈)   2009-06-18 22:22:00
我也想知道!!

Links booklink

Contact Us: admin [ a t ] ucptt.com