题名	责任者	出版社	索书号
有限自动机理论	陈文宇[等]编著	电子工业出版社	TP301.1/703/2
自动机理论与应用	Elaine Rich著	清华大学出版社	TP301.1/640/2