也就是说，图灵机是否可以将形式系统S作为其输入，并确定S是否为图灵完备？如果它是不可决定的，为什么我们(作为人类)可以决定图灵的完备性？
浏览 14提问于2013-04-20得票数 0
如果单元是位的，并且+和-运算只是简单地翻转了一点，那么图灵是完整的吗？有没有一个简单的证明，无论单元格大小，类Brainfuck语言都是图灵完备的，或者我需要考虑一个模拟图灵机的程序？编辑:我找到了我的问题的答案:带有位单元的Brainfuck被称为。普通的Brainfuck可以简化为它，所以Boolfuck是图灵完备
浏览 23提问于2012-12-23得票数 8
1回答
关于MapReduce框架和图灵完整性，我有两个问题： 首先，因为 不是一种真正的编程语言(它更像是一组处理数据的规则)，那么谈论它有什么意义吗 图灵完备性 如果它实际上是有意义的，那么 系统 图灵完成
浏览 23提问于2019-07-09得票数 3
回答已采纳
我想做一个有一些新想法的社交网络。我想知道哪些编程语言、社交网络或论坛可以编写？谢谢。
浏览 2提问于2010-12-20得票数 0
回答已采纳
2回答
“图灵完备性”的完整定义需要无限的内存。
除了受限(比如100个字、16位或32位等)之外，还有比图灵完成更好的术语来描述一种看起来很完整的编程语言和实现吗？地址空间？
浏览 2提问于2011-12-03得票数 1
1回答
Scala使用基于System Fω的类型系统，这通常被认为是强规范化的。强规范化意味着非图灵完备性。
然而，Scala的类型系统是Turing-complete的。与正式的算法和系统相比，哪些更改/添加/修改使Scala的类型系统图灵完整？
浏览 8提问于2011-12-14得票数 25
回答已采纳
3回答
图灵完全图查询语言
、、、、
是否准确地说，在现有的图形查询语言(Cypher、Datalog、Sparql等)中，Gremlin是唯一一个图灵完整的语言？在重要的情况下，我并不是在寻找像魔法的图灵完备性证明:集合这样的边缘情况；我问题的意图是Gremlin是否是唯一一种适用于在图上执行任意计算的图形查询语言。
浏览 7提问于2015-12-18得票数 4
回答已采纳
4回答
因此，如果一种语言满足某些标准，就可以说它是图灵语言( )，并且它可以做任何其他图灵完整语言可以做的事情。
这是否意味着理论上我可以使用JavaScript或实现谷歌
浏览 0提问于2010-09-11得票数 0
2回答
这让我想知道Brainfuck是如何完成图灵的，正如我所理解的，图灵完整意味着语言或机器可以计算任何函数。
让我纳闷的是，我还没有找到或者想出一个方法来找到一个数字的符号。因为signum函数是一个函数，图灵完备机器可以计算所有函数，Brainfuck怎么能是图灵完整的呢？我正在寻找的答案要么是解释为什么我的陈述是真的或不真实的，要么是一个算法，可以计算一个数字<
浏览 0提问于2016-04-16得票数 10
回答已采纳
14回答
摘要挑战如果您的语言使用的是UTF8代码页，而图灵完全只使用字符abcd()，则这些字符的字节值为97, 98, 99, 100, 40, 41，最大值为d = 100，因此您的
浏览 0提问于2020-09-09得票数 26
来自https://en.wikipedia.org/wiki/Recursively_可计数_语言
形式语言称为递归可枚举语言(也是可识别的、部分可判定的、半可分辨的、图灵可接受的或图灵可识别的)，如果它是语言字母表上所有可能单词集合中的递归枚举子集，即如果存在图灵机，该机器将枚举语言的所有有效字符串。来自https://en.wikipedia.org/wiki/Tur
浏览 0提问于2016-09-30得票数 2
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
云直播
对象存储活动推荐
腾讯云开发者
