2011年11月18日

图灵等价和图灵完备

摘要: 经常在讲编程语言的书或文章里面看到图灵等价(Turing equivalence)和图灵完备(Turing completeness),但却不知道这两个词的精确含义和区别。尤其是很多书或文章经常对这两个词进行混用,我就很疑惑这两个词是不是就是一个意思。我用Google搜索了一下,很遗憾的是中文结果基本没用,只有一篇百度空间里面转载的一个外国人写的文章,还是全英文的,简单看了下感觉写得不怎么清楚,就查了下英文维基百科。言归正传,下面先看看维基百科的两段话: Incomputability theory, a system of data-manipulation rules (such a... 阅读全文
posted @ 2011-11-18 19:49 lisperl 阅读(7938) 评论(8) 推荐(6) 编辑

千难万难启动最难系列(三)

摘要: 前一篇介绍了NT 5.x的启动过程,本篇将介绍NT 6.x(Windows Vista or Windows 7)的启动过程。下面首先介绍启动涉及的一些组件:下面介绍具体的启动过程:物理磁盘是按扇区(sector)的单元来寻址的,通常情况下,一个硬盘扇区的大小为512B。硬盘的第一个扇区的数据被称为主引导记录(MBR)。MBR包含了固定数量的空间,其中可执行的指令(引导代码)和一章表(分区表)。分区表有4个表项,分别记录了该磁盘的主分区的信息。BIOS 加载MBR到内存,开始执行MBR的执行代码。MBR的代码开始扫描主分区表,直到一个可引导分区(就是所谓的活动分区)。这种分区被Windows称 阅读全文
posted @ 2011-11-18 14:19 lisperl 阅读(2292) 评论(0) 推荐(2) 编辑