本书是关于形式语言、自动机理论和计算复杂性方面的经典,是三位理论计算大师的之作,现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的,陸质、图灵机、不可判定性以及难解问题等内容。 本书已被世界许多采用为计算机理论课程的或教学参考书,适合用作高校计算机专业高年级本科生或研究生的,还可供从事理论计算工作的研究人员参考。
该书在第二版基础上修订,新增了目前流行的品种,内容与时俱进。全书共介绍锦鲤100多种,每种都有详细的养殖管理方法,如建池、饲喂、繁殖以及常见病防治技术等。新版采用全彩印刷,更高。
在我的修行历程中,尤其是三次闭关的七年里,由于党和国家宗教政策的指引,各级领导、各位恩师、道友、同修、居士和素不相识的朋友们的关心和帮助,我得以专心致志实践佛法,求证个中三昧,对此我充满感激之情!人类进入加速度发展的时代,科学日新月异,文明不断提升,佛法的修学也需要打开一扇不曾开启的窗户,以新的视角回答人们现实生活中的问题。作为一个僧人,报效祖国,服务社会,接引后学是我的本分,更何况闭关心得就在于此呢? ???有鉴于此,也是应朋友之请,这里我将在闭关修证过程中和出关后所获得的感悟做一个坦诚的报告,对各位大德勉强算是一次答谢,更重要的是抛砖引玉,请各界朋友批评指正。
《文学指南:塞缪尔·约翰逊》编者邀请了英语国家的知名学者,从多个不同而又相互联系的角度介绍约翰逊的主要作品和部分人们不很熟悉的作品,以及这些作品中所反映出来的某些重要题材。这些文章或是深入评价了约翰逊的诗作、谈话艺术、《漫游者》杂志中的散文、词典、小说《拉塞雷斯》、《诗人传》等作品。
《英美名篇选:杨岂深、杨自伍译文集(中英双语)》内容简介:岂深先生离我们而去已经十五年了。但是他留给我的记忆还是很清晰,也很亲切。抗战期间复旦分处渝沪两地,他在北碚系里教书,我在上海分部学习,没有机会相遇。所以我初次见到他已是一九四九年春我开始在复旦工作以后。但从那时起,近半个世纪的共同工作中,一直保持着他对我授业解惑的师生关系。先生为人谦和诚恳,治学特别勤奋。更可贵的是满腹西方文化的学问,却始终谨守中国传统的为人之道,并在大是大非问题上坚持正理,与时俱进,不断进步,为后学树立榜样。
本书是关于形式语言、自动机理论和计算复杂性方面的经典,是三位理论计算大师的之作,现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的,陸质、图灵机、不可判定性以及难解问题等内容。 本书已被世界许多采用为计算机理论课程的或教学参考书,适合用作高校计算机专业高年级本科生或研究生的,还可供从事理论计算工作的研究人员参考。