本书系统讨论了程序设计的基本理论;分析了程序设计基本理论不断发展和完善的过程,重占论述了结构程序设计和面向对象程序设计的基本原理和方法,因而使程序的开发和运用更和科学有效,并向更高层次发展;强调说明了只有依据基本原则和方法,才能开发出可靠高效的良结构程序。\r\n 本书由三个部分共12章组成,第一章为引论,阐述了计算机求解问题的过程和原则,第二章至第五章为第一部分,论述了程序设计语言的控制结构与有限自动机、下推自动机、图灵机模型等传统计算模型的等价性;第六章至第九章为第二部分,讨论了数据结构的理论模型、数据类型的定认和表示方法,重点说明了抽象数据类型的定义、封装及其在程序语言中的表示与实现,第十章至第十二章为第三部分,讨信纸了程序的算法设坟、程序正确性证明及其算法的复杂性问题。\r\n 本书适用于计算机本科高年级学生、研究生程序设计方法学课程的教材和从事软件科学的研究人员与高级人员与高级工程人员使用。 \r\n
第一章 引论\r\n 1 引言\r\n 2 问题求解的可行性\r\n 3 问题求解的基本原则\r\n 4 抽象化概念\r\n 5 小结\r\n 习题一\r\n第一部分 控制部分\r\n 第二章 有限自动(FA)模型\r\n 1 引言\r\n 2 有限自动机的定义\r\n 3 有限自动机的数字模型\r\n 4 FA的表示\r\n 5 有限状态识别器(FSR)与限状态生成器(FSG)\r\n 6 不确定的FA(NDFA)\r\n 7 正夫表不定期工及正则语言\r\n 8 正规表达式与FA的等价性\r\n 9 计算能力\r\n 10 小结\r\n 习题二\r\n 第三章 下推自动(PDA)模型\r\n 1 引言\r\n 2 PDA的定义与表示\r\n 3 产生式文法\r\n 4 CHF文法\r\n 5 PDA的计算能力\r\n 6 小结\r\n 习题三\r\n第四章 图灵机(TM)模型\r\n……\r\n第五章 其他控制模型\r\n第二部分 基本数据结构\r\n第六章 数据的数字模型\r\n第七章 程序设计语言的数据对象\r\n第八章 抽象数据类型\r\n第九章 抽象数据类型封装\r\n第三部分 程序\r\n第十章 算法\r\n第十一章 程序正确性分析与证明\r\n第十二章 计算复杂分析与估算\r\n参考文献\r\n
无封面