首页
程序开发
写作辅助
多媒体
实用工具
博客
当前分类:
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 可以识别多少种语言?
«
1
2
3
4
5
6
»
热门标签:
编程
数据结构与算法
其他