题名	责任者	出版社	索书号
自动机理论与应用	Elaine Rich著	清华大学出版社	TP301.1/7440