题名	责任者	出版社	索书号
自动机理论、语言和计算导论	(美) John E. Hopcroft, (美) Rajeev Motwani, (美) Jeffrey D. Ullman著	机械工业出版社	TP301.1/3
有限自动机理论	陈文宇编著	电子科技大学出版社	TP301.1/2