问题标签 [transducer]

有人可以告诉我什么是有限状态传感器吗？

我已经阅读了维基百科的文章，但什么都不懂。

有人能告诉我换能器与 NFA 有何不同吗？

来自http://www.cse.ohio-state.edu/~gurari/theory-bk/theory-bk-twoli1.html#30007-23021r2.2.4：

令 M = <Q, Σ, Δ, δ, q ₀ , F> 为确定性有限状态换能器，其转移图如图 2.E.2 所示。

对于以下每个关系，找到一个计算关系的有限状态换能器。

一个。{ (x, y) | x 在 L(M) 中，y 在 Δ* } 中。
湾。{ (x, y) | x 在 L(M) 中，y 在 Δ* 中，并且 (x, y) 不在 R(M) } 中。

是的，这是硬件，但我一直在努力解决这些问题，至少可以使用指针。如果你想创建自己的 c. 和/或 d. 示例只是为了向我展示如何做到这一点，而不是引导我找到 a 的答案。和 b。那么显然我对此很好。

提前致谢！

只需跟踪自动机所处的状态以及它在输入字符串中的距离，就可以轻松地在输入字符串上模拟非确定性自动机。但是如何模拟非确定性转换器（当然，转换器可以将输入符号转换为输出符号，并给出一个字符串作为输出，而不仅仅是一个布尔值）？这似乎更复杂，因为我们需要以某种方式跟踪输出字符串，由于不确定性，输出字符串可能很多。

在 Scala 中实现有限状态机（或有限状态转换器）的一般方法是什么？

我经常发现自己需要状态机实现。我的典型实现看起来像

我不喜欢的是可变的var，它使解决方案线程不安全。FSM 拓扑也不清楚。

1. 如何以功能方式创建 FSM？

2. 以.dot 格式绘制 FSM 图也很好

3. Akka FSM 有一个很好的特性，它允许将一些数据与状态相关联，而不仅仅是给出一个对象名称。这也值得赞赏。（然而，Akka FSM 并不总是很方便使用，因为它是异步的，有时有点重。）

在这篇博文“JavaScript 中的 CSP 和转换器”中，作者指出：

首先，我们必须意识到许多数组（或其他集合）操作，如map,filter并且reverse可以用 a 来定义reduce。

因此，我们看到Clojure 中的一些实现并不是懒惰的，而是急切的：

我的问题是，Clojure 转换器是否渴望？

我正在尝试在 F# 中实现 Clojure 转换器，并很快遇到了可怕的值限制错误。

Transducers 的重点是可组合的。这是一些示例代码：

在 dotnetfiddle 上玩

GeneralizableValue应该解除价值限制，但似乎什么也没做。您的任务是在不应用的情况下编译此代码toList（类型推断会将类型固定为'a list，因此您不能将相同的 xform 与 a 一起使用seq）并且不更改 xform 的类型（至少不会以某种方式使其不可组合）。这在 F# 中根本不可能吗？

今天听到一个评论：

“转换器一直都在，他们在 1.5 中与减速器一起出现”

Indeed - Richs 的Reducer 博客条目剖析与他的 Strange Loop Transducers 演讲中使用的逻辑非常相似。（将“变压器”替换为“传感器”）。

我的问题是：Clojure 1.5 中的 Reducers 库中的传感器一直存在吗？

我已尝试阅读此内容，但我仍然不了解它们的价值或它们所取代的东西。他们是否使我的代码更短，更易于理解或什么？

更新

很多人都发布了答案，但是很高兴看到有和没有传感器的例子非常简单，即使是像我这样的白痴也能理解。除非当然传感器需要一定程度的理解，在这种情况下我永远不会理解他们:(

在关于 Transducers 的 Strange Loop 演示中， Rich Hickey 在表格中提到了一个名为“并行”的概念。

您可以使用传感器轻松查看seqs 和 into 和 channels 的示例。

现在你可以知道 Observables正在谈论 RxJava。

我的问题是Rich Hickey 的转换器 Strange Loop 谈话中的“并行”概念是什么？这是futures列表，还是 pmap 或其他东西？