问题标签 [deterministic]

这个 DFA 会解决创建一个接受简单算术字符串的 DFA 的问题吗？

例如

我正在考虑是否要接受负数，但这不是必需的，所以我创建了这个 DFA

不知道这是否是我需要的正确标题。我需要多次运行具有相同输入数据的程序，并确保每次程序采用完全相同的路径并产生完全相同的输出。我什至需要确保某些迭代器以相同的顺序处理元素。

也许有一些为此目的的工具？或者也许有一些标准的方法来检查它？我将 C# 放在标签中，因为我需要专门针对该语言的解决方案（如果有任何帮助，我正在使用 VS2012 进行编码）。

编辑：我的程序的输入由整数列表组成，输出是简单的布尔值。即使我会编写测试 - 计算可能会有很大差异但结果相同。我特别需要检查程序代码是否每次都采用相同的路径。

If so, how is this drawn as a graph? what would you label your start state? and would you draw the graph as moving from right to left as well?

我一直在一个项目中工作，我必须在 MySQL 中创建函数。但是我很难找到DETERMINISTIC, READS SQL DATA和之间的正确区别NO SQL。

我还阅读了一篇DETERMINISTIC被误用很多的帖子，所以我想在使用它们之前有一个清晰的想法。

FA 的简单实现会使节点看起来像：

但是如果你的转换之一是“！[a]”（除了字符'a'之外的任何东西）。而且您的字母太大，无法存储所有可能不是“a”的字符。你明白我的意思吗？

编辑。我目前的猜测是

对于 NFA 节点。

我正在尝试解决 Peter Linz 的形式语言和自动机简介中的一些问题。在第 2.1 节（确定性有限接受器）中，我无法编写自动机，需要帮助来解决它。

问题 17-(f)，第 2 章：

na是a单词中 的字符nb数，是单词中的字符数b。

我有解决方案，但我不知道如何在这里绘制它。

我正在比较两个保护区设计工具，即Marxan和ConsNet，它们都使用元启发式算法来解决最小集覆盖问题的一个版本。Marxan 使用模拟退火，ConsNet 使用禁忌搜索。虽然我的背景是生物学，但我认为我能够通过元启发式掌握一些优化的概念。

但是，关于禁忌搜索，我还没有弄清楚两件事。首先是它如何逃避局部最优。我知道它不能逆转它的动作，这会阻止它循环，但我不知道是什么让它在找到它后留下局部最优值。我可以理解模拟退火是如何做到的——它有一定的概率接受一个更糟糕的解决方案，随着时间的推移它会减少，直到它不再接受一个更糟糕的解决方案——但我不知道 TS 是如何做到的。

第二个问题是，在ConsNet手册中，找到如下语句

搜索是完全确定性的，但它可以根据解决方案存档的当前状态或目标的当前状态来决定如何进行

TS 总是确定性的吗？通过阅读一些资料，我了解到移动可能是随机的，就像在 SA 中一样。但是后来有一些论文谈论“确定性禁忌搜索”。确定性禁忌搜索如何知道采取哪些行动以及如何摆脱局部最优？它有时必须接受更糟糕的解决方案，对吧？

提前谢谢了

为了找到一个同步词，我总是使用反复试验，这对于小型 DFA 来说很好，但在大型 DFA 上就没那么有用了。然而，我想知道的是，是否存在一种用于确定同步词的算法，或者是否有一种方法能够判断一个同步词不存在。（而不是仅仅说“我找不到一个，因此一个不存在”，这绝不是一个证明）。

我已经在谷歌上环顾了一下，到目前为止，我只是遇到了一些方法来确定同步词长度的上限和下限将基于状态的数量，但这对我没有帮助。

在我的程序运行之间，我得到的结果略有不同。它使用带有标志的多线程 FFTW FFTW_ESTIMATE。多线程 FFTW 是确定性的：

1. 对于固定数量的线程？
2. 在不同运行中使用的不同数量的线程之间？

FFTW faq 说，该FFTW_ESTIMATE标志导致运行之间使用相同的算法，但它没有明确说明它在多线程情况下是确定性的。

连续运行lein uberjar两次，我得到两个不同的构建。经过一番unzip / find / sort / diff shell魔术后，我发现它归结为一些 Maven 文件：更具体地说是pom.properties文件。

这是一个差异：

如何使用 Leiningen（以及 Maven）获得确定性的 Clojure 构建？