当前分类:finite-automata

binary - 用于二进制数加法和比较的图灵机

compiler-construction - 创建词法分析器最有效的方法是什么?

regex - 自动机和正则表达式理论工具

computer-science - DFA最小化测试套件?

computer-science - 这种语言的 DFA

compilation - 为什么在 NFA 中使用 epsilon 转换?

finite-automata - 设计一个接受 L 的 FA,其中 L = ‘a’ 总是出现三次的字符串

finite-automata - 平方根计算图灵机

regex - 通过状态移除将有限自动机转换为正则表达式

string - DAWG/DAFSA 中的元信息

regex - 克林星的确定性有限自动机

所有合法正则表达式的正则表达式

coq - 定义有限自动机 Coq

automata - 为 L = {(na(w)-nb(w)) mod 3>0} 构造 DFA

regular-language - 正则语言的有限性

finite-automata - 我怎样才能证明这种语言是正规的?

math - 任何人都可以解释有限状态机和有限自动机之间的区别吗?

regex - 正则表达式转 DFA

prolog - 如何在有限状态机 Prolog 中找到无用状态

regular-language - DFA 可以识别多少种语言?

热门标签: