automata
-
有限自动机可以没有任何最终状态吗？
-
简化正则表达式，自动机理论
-
OCaml：Lists中元素的组合，函数推理
-
构成 AGP 的语言的 FA
-
是否有可用的 CFG（带有 pos 标签 - 词性标签）来验证英语句子的语法？
-
从语言生成语法（形式语言和自动机理论）
-
通过状态移除将有限自动机转换为正则表达式
-
自动机，检查字符串是否被语言接受 | C++
-
自动机：以下语言的 CFG
-
可设计的 dfa 数
-
表明空性和有限性对于线性有界自动机是不可解的
-
类型变量 类
-
语法生成的构造语言
-
构造生成 L = {a^p b^m c^n|n>=0, m>=0, p=m+n} 的文法
-
我们在 NICE 编程语言中使用浮点数代替实数。为什么？
-
是否可以设计一个接受无理数的自动机？
-
DFA - 设计一个 DFA，它接受超过 {0,1} 的所有字符串，最多包含两个 00 和三个 11 作为子字符串
-
自动机理论:上下文无关文法
-
以下 NFA 中的 e-closure(r) 是什么
-
如果 L = P ∩ Q，其中 P 是上下文无关语言 (CFL)，Q 是常规语言，那么 L 在？