对形式语言与自动机的详细描述，无论文字还是内容，都很规范。