問題タブ [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に示します。

次の関係のそれぞれについて、関係を計算する有限状態トランスデューサを見つけます。

a。{（x、y）| xはL（M）にあり、yはΔ*}にあります。
b。{（x、y）| xはL（M）にあり、yはΔ*にあり、（x、y）はR（M）にありません}。

はい、これはHWですが、私はこれらの質問に苦労しており、少なくともポインターを使用できます。独自のcを作成したい場合。および/またはd。の答えに私を導くのではなく、それを行う方法を私に示すための例。およびb。それなら明らかに私はそれで大丈夫です。

前もって感謝します！

非決定性オートマトンは、オートマトンの状態と入力文字列のどこまで到達したかを追跡するだけで、入力文字列で簡単にシミュレートできます。しかし、非決定論的なトランスデューサ (もちろん、トランスデューサは入力シンボルを出力シンボルに変換し、ブール値だけでなく文字列を出力として与えることができます) をどのようにシミュレートできますか? 非決定性のために多数になる可能性がある出力文字列を何らかの方法で追跡する必要があるため、これはより複雑なようです。

F# で Clojure Transducers の実装を試していたところ、恐ろしい値制限エラーにすぐに遭遇しました。

トランスデューサーの要点は、構成可能であることです。これはいくつかのサンプルコードです:

dotnetfiddle で遊ぶ

GeneralizableValue値の制限を解除するはずでしたが、何もしていないようです。あなたの使命は、このコードを適用せずにコンパイルすることですtoList(型推論は型を に固定する'a listため、同じ xform を で使用することはできませんseq)、xform の型を変更することはありません (少なくとも、そうしないようにする方法ではありません)。構成可能）。これは単に F# では不可能なのでしょうか?

私はこれについて読んでみましたが、それらの価値やそれらが何を置き換えるかをまだ理解していません. そして、それらは私のコードをより短く、より理解しやすくしますか、それとも何ですか?

アップデート

多くの人が回答を投稿しましたが、私のような馬鹿でも理解できる非常に単純なものについて、トランスデューサを使用した場合と使用しない場合の例を見るといいでしょう。もちろん、トランスデューサーが特定の高レベルの理解を必要とする場合を除いて、その場合、私はそれらを理解することは決してありません:(

Transducers に関する Strange Loop プレゼンテーションで、 Rich Hickey は「並列」と呼ばれる表の概念について言及しています。

トランスデューサを使用した seqs と into および channel の例を簡単に見ることができます。

これで、Observablesが RxJava について話していることがわかります。

私の質問は、Rich Hickey のトランスデューサー Strange Loop トークの「並列」概念とは何ですか? これはfuturesのリストですか、それとも pmap ですか?