2回答
非图灵完全语言可以解决图灵全语言所能解决的每一个实际问题.而且，它们比图灵完整语言更具可分析性。编译器可以将程序理解为一个整体，预先预测/计算/缓存每一个可能的计算，在数学上尽可能地优化它，甚至证明它已经这样做了。它就像在roids中静态类型和惰性评估之间的超级融合。然而，没有人试图设计一种像COQ这
浏览 0提问于2013-08-09得票数 3
2回答
非图灵完全语言提供了一个巨大的优势，比图灵全语言，因为它们更易于分析，因此，提供了更广泛的优化可能性。然而，它们几乎没有被使用，图灵完整性实际上是一个很好的特性。今天有什么主流的非图灵通语言可供通用编程使用吗？
浏览 0提问于2013-06-24得票数 20
在学习了稳健性和Vyper之后，我非常喜欢Vyper强大的安全性和简单性。然而，有一件事让我有些担心，那就是Vyper不像稳定的语言，它不是图灵的完整语言。现在，从我在学校时学到的知识来看，任何一种图灵完整语言在数学上都能做到任何其他图灵完整语言都能做到的事情。唯一的限制是块
浏览 0提问于2018-08-21得票数 2
1回答
许多编程语言和系统都是图灵完整的，它们可以模拟任何图灵机，因此也可以模拟任何有限状态机。语言A定义了一组有限的NAND门，它们之间的连接，以及哪些门接收输入，哪些门被输出。NAND可以形成锁存器、寄存器、总线和控制结构，并最终形成任何有限状态机，包括完整的计算机和其他系统。
然而，该模型无法模拟无限大的磁带，只有有限大小的
浏览 3提问于2017-05-30得票数 0
回答已采纳
2回答
“图灵完备性”的完整定义需要无限的内存。
除了受限(比如100个字、16位或32位等)之外，还有比图灵完成更好的术语来描述一种看起来很完整的编程语言和实现吗？地址空间？
浏览 2提问于2011-12-03得票数 1
如果一种语言有控制结构和变量，但不支持数组、列表、内存访问和分配等，那么它是否可以是图灵-完整的？也许，如果您可以创建的变量数量没有限制，您可以通过创建诸如array_1、array_2、. array_6000之类的变量来模拟数组，并手动遍历它们，并以某种方式创建复杂的数据结构和递归？
浏览 3提问于2009-09-07得票数 5
回答已采纳
2回答
我参加了Martin关于Scala未来的主题演讲：
我理解得对吗？Scala 3将不再是图灵完成吗？如果是这样的话，这会对像我这样每天在工作中使用Scala解决实际问题的人产生什么样的实际影响？换句话说，工业Scala程序员所释放的是什么，他们通过消除图灵的完整性得
浏览 2提问于2017-10-31得票数 6
回答已采纳
4回答
判断X或Y是(或不是)是编程语言所需的标准或基本特性是什么？是否有足够的控制流结构(条件语句和循环)足以被认为是完全的。
浏览 19提问于2011-01-31得票数 12
1回答
GPU着色器图灵完成吗？
、、、
我知道完整的GPU是计算的庞然大物--包括计算的每一步，以及内存。所以很明显，GPU可以计算我们想要的任何东西--它是图灵完整的。我的问题是关于各种GPU(“流处理器”/“CUDA Core”)上的单一着色器：我(理论上)可以通过使用单个着色器计算任意输入上的任意函数吗？
我试着去理解计算着色的“规模”。
浏览 4提问于2014-07-04得票数 13
回答已采纳
2回答
新的确定性语言应运而生，用于在多核上运行的多线程软件的确定性执行，如Cilk++和Deterministic Parallel Java。现在我的问题是，这些语言是否可以用来实现任何类型的算法，或者只实现特定的算法。换句话说，这些语言是否以任何方式限制了程序员？
浏览 5提问于2011-08-17得票数 3
回答已采纳
2回答
在讨论不同类型的系统安全主题的许多文章中，我总是发现，作者总是试图通过假设攻击者利用这些漏洞可以实现图灵完整性来强调某些漏洞的危险。图灵的完整性是什么?如果攻击者实现了，那么背后的危险是什么？
浏览 0提问于2018-04-20得票数 5
我的意思是，是否有一种语言或者一种语言可以被设计成所有高级编程语言都可以编译成这种中间语言？
这不包括机器语言。
浏览 4提问于2015-05-09得票数 3
回答已采纳
被认为是一种通用的编程语言？？。
Perl有一个图灵完整的语法，因为在编译阶段执行的运行时代码可能会影响解析。41因此，Perl不能被一个直接的Lex/Yacc lexer/解析器组合解析。相反，解释器实现了自己的lexer，它与修改后的GNU解析器进行协调，以解决语言中的歧义。因为Perl解释器可以在编译阶段模拟图灵机，因此需要确
浏览 1提问于2010-08-26得票数 4
1回答
是否有人知道有任何文件、文本或其他文档讨论使用超图来实现或表示不确定的图灵机？它们实际上是等同的吗？
例如，我非常肯定超图能够正确和完整地表示非确定性图灵机的状态转换。我的推理是，如果超图能够支持像非确定性图灵机这样一般的东西，那么它应该能够支持更高级别的图灵-完全DSL。(还有其他原因-“非
浏览 2提问于2012-03-31得票数 13
回答已采纳
我对编程很陌生，有人告诉我，"Javascript是一种图灵完整的编程语言“。什么是“图灵完整”P.language？我试着读了一些维基的文章，比如，或者，但是我还是找不到足够原始和清晰的文章.
浏览 0提问于2015-10-19得票数 1
回答已采纳
5回答
我理解图灵完整意味着Ethereum是健壮的，能够实现任何可以编码的想法，包括来自其他网络的最佳功能。
除了区块链膨胀的基础上的数据量，可能需要最终存储在Ethereum上，有哪些可能的缺点？比特币是否有可能在其仍享有比Ethereum更大的规模经济的同时推出图灵完整的sidechain？
浏览 0提问于2016-05-27得票数 11
回答已采纳
云服务器
ICP备案
实时音视频
云直播
对象存储
腾讯云开发者
