Questions tagged «history»

有关计算机科学作为一门科学的起源和发展及其应用的问题。

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

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





1
推断优化类型
在工作中,我的任务是推断一些有关动态语言的类型信息。我将语句序列重写为嵌套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 

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

4
为什么将二进制搜索称为二进制搜索?
我听到了几种可能的解释,所以我希望得到一些值得信赖的参考。 更新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)也可以适用于更一般的问题。
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.