题名	责任者	出版社	索书号
自动机理论与应用	Elaine Rich著	清华大学出版社	TP301.1/640/2
自动机理论、语言和计算导论:英文版·第3版-影印版	(美)霍普克罗夫特(John E.Hopcroft), (美)Rajeev Motwani, (美)Jeffrey D. Ullman著	机械工业出版社	TP301.1/184