书目详细信息 : 自动机理论与应用