1回答
我希望能够更好地在纸上推理代码，而不是仅仅写框或伪代码。一个案例是APL，一种我们半开玩笑地描述为“只写”的语言。这是一个(说明：⍳4创建一个数组[1,2,3,4]，然后将3添加到每个组件中，然后将这些组件相加，并将结果存储在变量m中。)这是它的haskell等价物：
m = foldl (+) 0 (map (+3) [1..
浏览 4提问于2016-11-22得票数 2
3回答
我试图更好地理解汤普森的特洛伊木马编译器(在他1984年的ACM图灵奖演讲“”中讨论过)，到目前为止，我是这样理解它的：
Unix的原始登录程序将接受root指示的任何登录和密码。
浏览 1提问于2009-04-23得票数 11
回答已采纳
这篇由肯·汤普森( Ken )教授的图灵奖讲座主题是“信任信任的反思”，它很好地洞察了C编译器是如何在C本身中生成的。
虽然我理解症结，但它还没有沉入其中。
浏览 0提问于2012-11-28得票数 5
回答已采纳
1回答
(特别是，它是如此的开创性，理应获得图灵奖？)
在我看来，不管数学符号(形式语言，证明闭包性质等等)，关系理论背后的直觉是非常简单的。毕竟，在现代计算出现之前很久，我们就已经用标头和列来制表了。
浏览 0提问于2020-04-26得票数 -5
最近有消息说，戴尔公司在笔记本上安装了一个带有可公开访问的私钥的根证书，我想知道如何才能保护自己免受这种无能的影响。当然，如果我执行他们的二进制文件，我不能完全保护自己免受供应商的恶意攻击，但是如果有任何程序安装了有损我的安全性的根证书，我想得到通知。是否有一种简单的方法来验证是否安装了并非Windows附带的默认证书的根证书？
浏览 0提问于2015-11-24得票数 10
1回答
我正在寻找一种在Java中查找数组中数字的方法，该方法与其他方法不同。这个数字也必须是其他数字的总和。感谢您的帮助！ int uniqueNumber = -1;
int numberSearched = Arrays.binarySearch(number, number[i])
浏览 1提问于2015-02-23得票数 0
1回答
从肯·汤普森的图灵奖演讲“信任思考”开始，软件后门的风险就很明显了。当然，这也适用于硬件。
限制我们在这里的软件，什么是真正好的解决方案，以防止后门？
浏览 0提问于2013-07-03得票数 0
通常，我希望类似于一等奖: Raid 5二等奖:在失败的磁盘上丢失所有数据，而不是在任何其他磁盘上。
我可以在Linux/Windows或Windows机器上的计算机上运行此设置。
浏览 0提问于2013-05-28得票数 -4
我想做一个有一些新想法的社交网络。我想知道哪些编程语言、社交网络或论坛可以编写？谢谢。
浏览 2提问于2010-12-20得票数 0
回答已采纳
3回答
我听说Linux比Windows更安全。这是真的吗？我认为它们同样安全，因为两者都有图灵完整的外壳，所以如果您管理对一个系统造成损害，就有一种方法可以对另一个系统造成同样的危害。我的推理正确吗？
浏览 0提问于2017-07-06得票数 -1
回答已采纳
，即如果存在图灵机，该机器将枚举语言的所有有效字符串。来自https://en.wikipedia.org/wiki/Turing_完备性递归可枚举语言和图灵完全语言之间的根本区别是什么？例如，是否正确？一种递归枚举语言，图灵机的一组输入，以便它识别，
浏览 0提问于2016-09-30得票数 2
2回答
非图灵完全语言提供了一个巨大的优势，比图灵全语言，因为它们更易于分析，因此，提供了更广泛的优化可能性。然而，它们几乎没有被使用，图灵完整性实际上是一个很好的特性。今天有什么主流的非图灵通语言可供通用编程使用吗？
浏览 0提问于2013-06-24得票数 20
4回答
include <stdio.h>
#define EXPAND_AND_QUOTE(str) QUOTE(str) printf(EXPAND_AND_QUOTE(TEST)"\n");我得到了：而不是请注意，"linux“变成了"1
浏览 0提问于2012-01-12得票数 2
2回答
据我所知，可以让图灵机执行磁带上编码的指令的循环或迭代。这可以通过识别行分隔符并使图灵机返回，直到达到特定的行分隔符计数(即，在循环内)来实现。但是，图灵机也可以执行递归程序吗？有人能描述一下这样的图灵机的各种细节吗？
我想，如果递归可以由图灵机执行，那么快速排序也可以执行？
浏览 18提问于2015-04-11得票数 4
当我研究图灵机和PDA时，我想第一个计算设备是图灵机。我的问题是，图灵机将如何实际实现？例如，如何在我们当前的处理器中使用它来检查拼写错误。
图灵机过时了吗？或者它们仍在使用中？
浏览 10提问于2011-09-10得票数 18
回答已采纳
2回答
在Michael对计算理论的介绍中，他说：
图灵机不是一台可以模拟任何计算机算法的假想机器吗？理论上你不是可以想出无限多的算法吗？
浏览 3提问于2013-04-09得票数 5
回答已采纳
2回答
我最近开始在coursera上使用概率图形模型，在开始两周后，我开始相信我在概率上并不是那么好，因此我甚至不能遵循第一个主题(贝叶斯网络)。也就是说，我想努力学习这门课程，所以你能向我推荐一些PGM或概率的其他资源，这对理解这门课程有帮助。
浏览 4提问于2012-09-26得票数 2
回答已采纳
如果单元是位的，并且+和-运算只是简单地翻转了一点，那么图灵是完整的吗？有没有一个简单的证明，无论单元格大小，类Brainfuck语言都是图灵完备的，或者我需要考虑一个模拟图灵机的程序？普通的Brainfuck可以简化为它，所以Boolfuck是图灵完备的。
浏览 23提问于2012-12-23得票数 8
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
