T007510　形式语言

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第793页（237字）

王兵山等编。

国防科技大学出版社1988年5月版。43万字。系自动机理论和形式语言的一个导引，对其理论作了系统叙述。共8章。第一章介绍必备的数学概念和工具。第二章介绍文法的形式定义及乔姆斯基谱系，给出较多的文法例子。

第三、四、五、六、七章按乔姆斯基对文法的分类，逐章介绍正规文法与有穷自动机、上下文无关文法与下推自动机、图灵机与短语结构文法、上下文有关文法及线性界限自动机。第八章介绍确定的上下文无关语言和确定的下推自动机。