-
4 votesanswersviews
在Haskell中组合ST和List monad
使用 StateT monad变换器,我可以创建类型 StateT s [] a ,它与 s -> [(a, s)] 同构 . 现在我宁愿使用STT monad transformer,因为我希望有多个不同类型的可变变量,并且希望能够随意实例化它们,具体取决于早期计算的结果 . 但是, STT 的链接文档明确提到: 此monad变换器不应与包含多个答案的monad一起使用,例如list ... -
0 votesanswersviews
是ε和NFA的空集语言吗? (非确定性有限自动机)
我有这样的NFA:enter image description here 问题是: 是ε,空集,这个NFA的语言? -
27 votesanswersviews
如何用List monad建模非确定性?
任何人都可以解释(更好的用简单英语的例子)列表monad可以做什么来模拟非确定性计算?即问题是什么以及列表monad可以提供什么解决方案 . -
2 votesanswersviews
Epsilon闭合和自动机
我认为在确定非确定性自动机的语言时,我并不完全理解epsilon转换的概念 . 例如在这个自动机中: 语言是:' a 的双重序列或 b 的双重序列,其中可能存在 baa 序列' . 但是, a 这个词也属于自动机,不是吗? (也是 b , aaa 等等......) -
5 votesanswersviews
非确定性梯度计算
我意识到每次训练时我的模型最终会变得不同,即使我保持TensorFlow随机种子相同 . 我证实了这一点: 初始化是确定性的;在第一次更新之前,权重是相同的 . 输入是确定性的 . 事实上,包括损失在内的各种前向计算对于第一批来说是相同的 . 第一批的渐变是不同的 . 具体来说,我正在比较 tf.gradients(loss, train_variables) 的输出 . 虽然 los...