涵盖自动机理论、形式语言理论、语法和单词组合学。这大致对应于 ACM 主题类别 F.1.1 和 F.4.3。处理计算复杂性的论文应该去cs.CC；涉及逻辑的论文应该去cs.LO。
共 0 篇
该分类下暂无论文。