本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图录机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。 本书是理论计算机科学方面的教材之珂作为高等院校计算机专业的教材,也可作为计算机系统研发人员的参考书。
《深入了解Linux虚拟内存管理》内容涵盖物理内存、页表管理、进程地址空间、引导内存分配器、物理页面分配、非连续内存分配、Slab分配器、高端内存管理、页面帧回收、交换管理、共享内存虚拟文件系统等部分。Linux在的普及还不成熟,而关于内核方面的中文资料却又都偏向大而全,细节部分描述得相当不够。这些书籍往往由于篇幅问题而仅仅选择性地讲解内核源代码,不少读者无法真正吃透内核的实际实现方式,存在看不下去或不能理解等问题。还有的书籍代码注释较为粗略,省去了很多内核实现细节,初、中级水平的读者阅读起来也有困难。而另有一部分内核书籍由于时代久远,很多系统调用方面,特别是与硬件相关的代码使读者产生不少疑问,对于中、高级内核开发人员以及在较新内核版本下进行开发的人员就略显不足了。 一次较为偶然的机会我在
本套丛书是根据国家有关部委的《化工特有工种职业技能鉴定规范》(讨论稿)编写的化工工人中级技术培训。本书编写本着通俗易懂、适用的原则,着重介绍了制图的基本知识及化工工艺、化工设备的识图;化工设备常用材料及防腐;机械传动及轴承的基本知识;流体输送机械、固体物料机械和其他化工机械的使用和维护;化工反应器、化工容器、塔设备、换热设备、干燥及分离设备、化工管路等的基本结构、性能、使用及维护等。本书可供化工中级技术工人培训之用,亦可作为操作工人和初、中级技术工人自学之用,还可作为本专科学生的参考。