本书简述了形式语言的基本内容，包括文法的分类和语言间运算的封闭性；系统地论述有限自动机：有限状态自动机、下推自动机和图灵机的基础理论等。

本书简述形式语言的基本内容，包括文法的分类、构造方法和语言间运算的封闭性；系统地论述三类有限自动机：有限状态自动机、下推自动机和图灵机的基础理论。从文法产生语言的角度和自动机识别语言的角度对语言进行讨论；介绍文法与等价的自动机之间的转换方法；并介绍有限自动机的一些典型应用。

本书主要讨论了Lotka-Volterra递归神经网络、非饱和的非线性阈值传输函数递归神经网络、列竞争神经网络等多种神经网络模型，分别研究了针对不同组合优化问题的神经计算的方法；研究了路网的最短路径优化方法。针对大规模路网分析的实时性需求，提出了两种基于脉冲耦合神经网络的快速路径搜索方法；研究脉冲耦合神经网络模型改进及其在KSP问题当中的应用。

全书分为两大部分，共12章。第一部分介绍面向对象技术，包括：软件工程概述、软件维护、软件工具与集成化环境、面向对象方法等；第二部分介绍面向对象程序设计语言，包括面向对象程序设计语言的核心概念等。

本书详细介绍C语言及其程序设计方法。全书共10章，主要内容包括：C语言程序设计基础；基本数据类型及运算；控制语句；数组和结构等。

本书分上下两篇共13章，内容包括：数据类型、控制结构、程序语言的设计、非过程式程序设计语言、形式语义学简介、编译概述、词法分析、自上而下的语法分析、自下而上的语法分析等。

全书分为两大部分，共12章。第一部分介绍面向对象技术，包括：软件工程概述、软件维护、软件工具与集成化环境、面向对象方法等；第二部分介绍面向对象程序设计语言，包括面向对象程序设计语言的核心概念等。

本书简述了形式语言的基本内容，包括文法的分类和语言间运算的封闭性，有限自动机的基础理论，从构造文法产生语言的角度和构造自动机识别语言的角度对语言进行讨论，并介绍文法与自动机之间等价的转换方法。