问题标签 [automaton]

确定两个自动机之间等价的最好或最简单的方法是什么？

即，如果给定两个有限自动机 A 和 B，我如何确定两者是否识别相同的语言？

它们都是确定性的或都是非确定性的。

我正在开发 1D Game of Life（基于Mathworld中规定的规则）。本质上，每一代都表示为一行 0 或 1（死或活），并且下一代是基于“规则”命令行参数的二进制表示创建的。

例如，规则 30 变为 00011110（30 的二进制），这用于确定哪些位模式将产生新的单元格或在下一代中自行消亡。

为了对此进行编程，我需要能够访问前一行中的三个一组的位（以应用规则）。下面是一个示例图像（请注意，起始行始终为 0，中间为 1）：

为了生成一行，我必须以三个一组的方式查看上面一行中的位，然后将规则应用为 1/0，生死决定。

基本上我计划匹配 3 位模式和规则，并使用它为后代打印 0 或 1。这是一般算法：

我遇到困难的程序部分是访问前一行的内容。我所有的尝试都会产生垃圾或不正确的数据。

简而言之，我如何以三位为一组访问前一行的值？

行是这样创建的：

}

好的，所以我让这变得简单了很多，我只需要两个数组（一个保存前一列，一个保存当前列）。我不明白为什么打印输出数组会产生垃圾？output[i] = arr[i] 不是一个有效的表达式吗？

大家好，我有一个问题，Automaton 的简单问题，我不确定这是否是提出此类问题的正确位置。实际上，今年我有一门课程编译器构造，如果有人知道一些好的资源，最好在这里发帖。

起初我有一个非常基本的问题：对于 ex 我有一个表达式，如： 2+3*5 ，如何为这个表达式编写语法？我的意思是一个模棱两可和一个非模棱两可的例子谢谢

我正在编写从某种输入数据类型到输出数据类型的流转换器。输入由用户进行，因此事件之间有一些时间。因为每个输入都需要一些资源加载，所以我想“展望未来”，即将所有可能的输入发送到主计算并根据结果预加载资源。

目前，每次输入之后总是只有一个输出，但改变它最终可能会变得有趣。

我用 Ross Paterson 的 Automaton 变压器成功地实现了这一点。我不确定我的解决方案是否最佳。

• 有没有很好的例子如何做到这一点？也许甚至有测试代码？
• 它也可以用单子来实现吗？（例子？，解释为什么不可能？）

编辑：在调用更多细节之后，我在这里添加了代码。现在我要删除它（这是无法理解的）并添加一些其他解释。我的问题得到了回答。

我的意图是在每个用户输入被馈送到箭头/流转换器/任何东西之后停止主事件循环。然后它将存储当前的自动机状态并将所有可能的输入（假事件）一一发送给自动机，并查看必须加载哪些资源，以缓存它们。在下一个真实事件之后，它将使用缓存以获得更好的响应。主计算不应受此影响。

Apache Lucene使用Brics自动机包的修改形式。但是金砖线程安全吗？

更具体地说，它能否安全地处理来自不同线程的多个并发自动机实例 - 而不会阻塞？

我正在为我的考试自动机和正式语言学习，我必须设计一个识别语言的 PDA：

我有一个小想法，但我坚持这一点：

首先想到处理所有的“a”，每个“a”推一个“A”

所以我想到了解决方案，但我认为是不正确的，我做错了什么？

1. 表明语言不规则。L = {a^nb^m : n>m}

有什么东西比有限自动机更强大，但比确定性下推自动机更弱？

我如何为这个问题绘制 NFA（自动机）？

首先它应该接受：

• 字母 = x,y,z

• L= { w | w 使得出现次数 x,y,z 之一是三的倍数。}

例如：{xxx, yyy, zzz, xyxyzzz, xyxyx, zyzyz...}

我想在我的正则表达式中使用 Unicode。

例如，RegExp="\u0061" 匹配“a”。但似乎 dk.brics.automaton 不支持这一点。结果匹配“u0061”。我还尝试了 RegExp="\u0061" 和 RegExp="\\u0061"。没有一个会起作用。

如果您对这个工具有任何经验，您能给我一些解决方案吗？

谢谢！