形式语言

分类包含 59 篇文章

子分类：分析算法 | 字符串算法 | 文法框架 | 模式匹配编程语言 | 逻辑符号

上下文无关文法

附标文法

蒙塔古语法

扩展巴科斯范式

鄂登引理

形式系统

前缀文法

帕里克定理

稀疏语言

语法分析组合子