Cover is for reference only

形式语言，自动机理论与计算导论 = Introduction to formal languages, automata theory and computation

Saved in:
Bibliographic Details
Main Authors: 印 Krithivasan Kamala ((印)Kamala Krithivasan，(印)Rama R著); 印 Rama
Group Author: 孟宇龙 (译); 李健利 (译); 王宇华 (译)
Published: 电子工业出版社
Publisher Address: 北京
Publication Dates: 2012
Literature type: Book
Language: Chinese
Series: 国外计算机科学教材系列
Subjects:
形式语言 > 高等学校 > 教材
自动机理论 > 高等学校 > 教材
Carrier Form: 317页: ; 26cm
ISBN: 978-7-121-15394-5
Index Number: TP301
CLC: TP301.2
TP301.1
Call Number: TP301.2/1134
Contents: 本书主要介绍形式语言、自动机理论及可计算性，内容包括：本学科的基础知识、文法、有限状态自动机理论、有限状态自动机变形、下推自动机、图灵机和可计算理论、复杂性原理、时空复杂度、NP完全问题、DNA计算、膜计算以及本学科一些前沿理论等。

Related Book Recommendations