如何在Lucene中检查字符串是否可能包含大量前缀和后缀？
我必须实现一个功能，该功能可以修剪给定字符串中的...
构造用于语言的DFA：所有以1开头的字符串都必须包含11作为子字符串，如果为0，则必须为奇数
我必须为一种语言构建DFA： <ol> <li>所...
确定性有限自动机设计
有人可以为此推荐我算法吗？ DFSM的模拟：设计并实...
是否可以计算两个未完全指定的DFA的交集？
如果未完全指定要为其计算交集的两个DFA，则可能会出...
在确定性有限自动机中，是否有可能每个状态都是最终状态？
对最终状态有不超过一定数量的限制（2,3，...）？
使用CrossHair区分自动机和python函数 总结预赛CrossHair 解决方案假设解
我有一个定义语言的函数，让我们调用 L，这个函数获...
使用 JBMC 进行模型检查
我有一个定义语言的函数，让我们调用 L，这个函数获...
包含 1011 作为子字符串的 DFA
我必须绘制一个 DFA，它接受包含 1011 的所有字符串...
我的答案有什么问题？有限自动机
与这里关于有限自动机的问题相当混淆 考虑有限自动机...
DFA 创建和最小化
任务：绘制一个 DFA，它接受字母 {0,1} 中的单词，其...
不包含 aaa 作为子字符串且必须包含 aa 作为后缀的字符串的 DFA
给定语言 L={ w ∈ {a, b, c}* | w 不包含 <stro...
这个 DFA 是否已经最小化了？
我试图通过填表方法来最小化这个 DFA：<br/> ...
Ocaml 无法识别 else
我对 Ocaml 比较陌生，遇到了一个烦人的错误。我的代...
我如何按照这个规则构建这个下推自动机
规则如下： 它不能以字母 a 开头。 它不能以字母 b ...