计算机科学论坛--显示贴子

以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『理论计算机科学』  (http://bbs.xml.org.cn/list.asp?boardid=64)
----  求高手指点迷津：mu演算的问题  (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=43540)

--  作者：shenshenqiqi
--  发布时间：3/2/2007 9:50:00 AM

--  求高手指点迷津：mu演算的问题
为什么
||uZ.Z||=交集{U:U属于U}=空集？？？

郁闷符号打不出来～～～～～～～

--  作者：wol
--  发布时间：5/21/2007 1:01:00 AM

--
Consider f(Z)=Z,
then the least fixed point of f can be computed via a sequence
\emptyset, f(\emptyset), ..., f^k(\emptyset), f^{k+1}(\emptyset)
where f^k(\emptyset) = f^{k+1}(\emptyset).
Hence the least fixed point of f is \emptyset.

W 3 C h i n a ( since 2003 ) 旗下站点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》

31.250ms