书目详细信息 : 自动机与自动线