确定性有限自动机极小化
如果我们有一个没有最终/接受状态的有限自动机。所以F是空的。你如何最小化它？我得到了一个测试，在这个测试中，我被要求最小化一个自动机，但是它有空的F，我不知道如何解决这个问题，因为自动机没有接受状态。一个包含所有转换的初始状态是正确最小化的自动机吗？我想如果两个自动机A和B对于任何可能的输入，A返回与B完全相同的输出，它们必须是等价的。因此，如果一个自动机没有最终状态，那么它不接受任何输入或者任何输入都是无效的，所以它必须与任何其他以这种方式行为的自动机等价。
共有1个答案
如果有限自动机的定义强制执行非空状态集，那么一个没有任何转换的初始状态就可以了。
-
如果我必须用一个状态图来画一个确定性有限自动机，以接受一种语言，例如{λε{a，b}*：λ这个词包含a的偶数和b的奇数，我怎么知道我有多少个状态？
-
这里的“自动机”指的是”确定有限状态自动机”。而自动机是信息学奥林匹克竞赛、计算机科学中被广泛使用的一个数学模型，其思想在许多字符串算法中都有涉及，学习自动机有助于理解上述算法，但是学习自动机前一定要先了解基础图论的相关知识，这样才更好理解自动机。 自动机（确定有限状态自动机）是由一个非空有限状态的集合Q、一个输入字母表 Σ（非空有限字符的集合）、一个转移函数（单值映射）、一个开始状态、一个接受状
-
如何编写Java代码来确定给定的自动机是否具有确定性。我有一个代表自动机的类，它有以下五个变量： Δ表示如下所示，例如，在实际自动机中，程序中的q1,1，q2看起来像。我知道在一个非确定性自动机中，可能有多个可能的状态，但我不知道如何计算。
-
我的问题是，我如何开始在圆圈中“绘制”状态，添加边，在两个状态之间插入输入，我如何使用java编写GUI部分？请帮我一把..
-
我不熟悉自动机理论。下面这个问题是为了练习： 让一种语言由以不同符号开头和结尾的单词组成，字母表为{0,1}。例如，001、10101010100、10和01都被接受。但101、1、0和1010001101被拒绝。 我该如何： 我试图发布我画的DFA的图片，但不幸的是，我需要10个声誉来发布图片，而我还没有。
-
问题内容： 我正在使用MySQL存储财务资料，并使用数据来构建每个帐户的所有交易记录等。出于性能方面的考虑-为了防止用户被庞大的表格所淹没-我对结果进行了分页。 现在，作为注册的一部分，我将显示该帐户的余额。因此，如果我每页显示20个事务，而我显示第二页，则使用如下数据： 事务0-19： 忽略它们-它们比正在查看的页面要新。 交易20-39： 从中选择所有内容-它们会显示出来。 事务40-??：