--- title: 形式语言与自动机理论 category: - 软件工程学院 - 课程评价 tag: - 信息安全 - 数学基础 - 抽象代数 ---