题名	责任者	出版社	索书号
自动机理论.语言和计算导引	(美)J.E.霍普克罗夫特 J.D.厄尔曼著	科学出版社	O233/4