Questions tagged «history»

我通常在空字符串（空词或空字符串）中使用符号。但是我知道有些人使用λ而不是ε。εε\varepsilonλλ\lambdaεε\varepsilon 我认为源自“空”一词。但是我不知道λ的起源。εε\varepsilonλλ\lambda 在自动机理论中，存在自动机的ε跃迁，也被称为lambda跃迁。例如，默认情况下，JFLAP软件使用作为epsilon过渡的标签。λλ\lambda 我在起源上进行了搜索，并搜索了cs.stackexchange，但找不到。有谁知道描述这个的参考？

14 formal-languages  automata  reference-request  notation  history 

文献很清楚，具有原始乘法的单价RAM是不合理的，因为它们 图灵机无法在多项式时间内模拟 可以在多项式时间内解决PSPACE完全问题 但是，我可以在该主题上找到的所有参考文献（Simon 1974，Shonhage 1979）也涉及布尔运算，整数除法等。 对于仅具有加法，乘法和相等性的RAM的“合理性”是否存在任何结果？换句话说，哪些没有布尔运算，截断的整数除法，截断的减法等？ 有人会认为这样的RAM仍然相当“不合理”。主要的危险信号是它们使能够在线性时间内生成指数较大的整数，并且由于乘法的卷积效应，这会变得特别复杂。但是，我实际上找不到任何表明这允许任何“不合理”结果的结果（图灵机的指数级加速，与PSPACE的不合理关系等）。 文献对此主题有什么结果吗？

13 complexity-theory  reference-request  computation-models  history 

我想知道是否有人知道客户端服务器模型的起源。该术语从何而来（纸张，软件应用程序，书籍）？

13 terminology  reference-request  distributed-systems  history 

为什么拉普拉斯变换在图像处理卷积中不受欢迎？大多数教科书只转换傅立叶变换。

12 history  image-processing 

据说可计算性理论也称为递归理论。为什么这样称呼它？为什么递归如此重要？

12 computability  terminology  history 

标题说明了一切，但我很好奇，因为尚不清楚定理证明者如何被命名为“ Isabelle”。它是以一个人命名的吗？一些Google搜索找不到我。

11 history  automated-theorem-proving  isabelle 

在工作中，我的任务是推断一些有关动态语言的类型信息。我将语句序列重写为嵌套let表达式，如下所示： return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T; Z } else { F; Z } 由于我从一般类型信息开始，并试图推断出更具体的类型，因此自然的选择是精简类型。例如，条件运算符返回其真假分支类型的并集。在简单的情况下，它效果很好。 但是，在尝试推断以下类型时遇到了障碍： function …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

我正在阅读Turing的“计算机与智能计算”论文（https://www.csee.umbc.edu/courses/471/papers/turing.pdf），发现其中有一段片段： 我在曼彻斯特计算机上设置了一个仅使用1,000个存储单元的小程序，通过该程序，提供了一个16位数字的计算机会在两秒钟内回复另一个。我无视任何人从这些答复中学习到的有关程序的足够知识，以便能够预测对未尝试值的任何答复。 在我看来，这似乎是机器学习的问题:)但撇开我对AI的兴趣，我的问题如下： 有谁知道什么该方案是在做什么？ 我很好奇 PS：从输入和输出的长度来看，我怀疑这是一种加密算法，但是我希望您能从实际程序中获得任何线索。

10 algorithms  history 

我听到了几种可能的解释，所以我希望得到一些值得信赖的参考。 更新05.19：我对这个问题感兴趣，因为我的一位学生在论文中写道，该名称来自以下解释（1）。到目前为止，我认为/听说过它来自解释（2）。我既不愿在论文中提出错误的观点，又告诉他如果可能是正确的话，则将其删除，这将令我感到不快。 （1）考虑在区间搜索整数。我们可以通过找到它在步骤发问的二进制数的位数。Ñ 我我吨ħ[ 0 ，2n − 1][0,2n−1][0,2^{n-1}]ñnn一世ii一世Ť ^ hithi^{th} （2）如果我们有一个搜索空间元素，我们可以通过在多次分开的空间的剩余部分问题找到一个未知元素2。2ñ2n2^n 是的，我知道（2）可以提供与（1）相同的算法，但这不是重点。（2）也可以适用于更一般的问题。

9 terminology  reference-request  history