形式语言

分类包含 59 篇文章

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

泵引理

递归可枚举语言

递归语言

巴科斯范式

不收缩文法

黑田范式

串接

可识别语言

两级文法

乔姆斯基范式