形式语言

分类包含 59 篇文章

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

确定有限状态自动机

迈希尔－尼罗德定理

解析表达文法

终结符与非终结符

解释 (逻辑)

合式公式

上下文有关语言

确定上下文无关文法

正则表达式