1回答
这种语言可以分辨吗？
、、、、
我在纠结于这是否是可判定的：我倾向于认为，这是可判定的，因为当输入图灵机时，它将永远不会达到接受状态和无限大的循环，除非它拒绝然而，我也知道，要想判断一种语言，就必须有一个算法来决定它；我们不一定要知道它是如何完成的。有了这个，我觉得它是可以决定的吗？有人知道怎么证明吗？
浏览 12提问于2012-01-26得票数 3
1回答
证明两种图灵可判定语言的交集是图灵可判定的。(给定决定每种语言的算法，描述确定字符串是否属于交集的算法。)
我知道，如果有一种算法来决定成员资格，一种语言是图灵可决定的。
浏览 1提问于2015-12-06得票数 1
1回答
由于X有一个有限的元素数，所以它上有一个有限的可判定谓词。因此，在这个证明中，我只看了所有这些，并证明了每一个求和的正确一面。
然而，在更一般的情况下，我根本无法移动目标。我的直觉是，这应该是不可判定的:没有算法有一个有限的上边界的运算，以确定是否P持有所有的n : nat。同样的，似乎应该适用于元素数量无限的任何其他类型(例如，不仅仅是nat)。
浏览 0提问于2019-11-01得票数 1
回答已采纳
我对Presburger算法有一个抽象的语法，还有一个确定给定公式的命题表示的不动点函数(您可以在这里看到它：)。我该怎么做？
谢谢!
浏览 3提问于2020-09-17得票数 0
回答已采纳
3回答
的可判定性
、、、
这个问题是半可判定的还是可判定的？
可以创建一个算法来找到答案，这样它就会始终停止。我对半可决定和可判定之间的区别感到很困惑。据我所知，如果我能够构建一个图灵机(算法)来接受问题的解决方案，并以其他方式拒绝，那么问题是可以判定的。然而，如果机器永远不会停止在输入不是解决方案的情况下，这意味着问题是半决定性的。
浏览 0提问于2018-07-07得票数 1
回答已采纳
我正在尝试创建一个算法来决定以下可判定问题:给定一个CFG H，to⇒*ε。也就是说，H可以在任意数量的步骤中生成空词。算法必须是可判定的，这意味着它总是正确地在所有输入上停止。我已经研究这个问题很长一段时间了，甚至不知道如何开始或者创建这个算法的步骤。我不是在寻找完整的答案，我只需要在正确的方向上推动
浏览 13提问于2019-12-04得票数 2
1回答
SMT-LIB中的QF_NRA逻辑是可判定的吗？
我知道Tarski证明了非线性算法是可判定的，在实数中多项式系统是可判定的。然而，QF_NRA是否属于这一保护伞并不明显，因为QF_NRA包含除法。如果零除法不是QF_NRA的一部分，那么QF_NRA中的除法就可以转换为乘法，这个问题将如Tarski所证明的那样是可判定的。如果QF_NRA中实际上包含了部门，那么我就不太确定了。在这种情况下，QF_NRA仍然是可判定的。
浏览 2提问于2016-10-21得票数 2
回答已采纳
1回答
这是令人惊讶的，因为我一直在研究一阶理论，据我所知，LIA是可判定的，而NIA则不是(在理性主义中也是如此)。结果是[]，顺便说一句：有效。在()中:G del证明了(NIA)是一个不可判定的问题。那么，NIA是不可判定的还是半可判定的？同样，在不可判定的意义上，G del的意思是不可判定的(但对semi-decidability)？只字不提)
是否有完全无法分辨的LIA片段？例如
浏览 8提问于2021-11-24得票数 2
回答已采纳
这个过程是近似的，因为知道是否需要某个内存的一般问题是不可判定的(不能用算法解决)。
我熟悉不可分辨性和垃圾收集器的概念，但我似乎不明白为什么这是一个无法判定的问题。
浏览 5提问于2015-12-24得票数 20
回答已采纳
1回答
你能给我一个提示如何开发一个作为这个任务的算法吗？每次如果我读到这样的东西，我都不知道如何使用运行时进行开发。谢谢! 给出一个判定给定无向图G= (V;E)是否包含圈的算法。您的算法应在O(|V|)时间内运行，独立于|E|。
浏览 11提问于2020-01-10得票数 0
回答已采纳
1回答
这句话使我难以理解教科书(第102页)：一种能够并将返回布尔值true或false值(而不是无限期循环)的算法。最后，仍然需要注意的是，启发式算法对于无法解决的问题没有性能优势，因为只有在搜索完完整的树之后，才能确定问题的不可解性。
见第102页。“可判定的”和“可解决的”问题在这里有什么区别吗？没
浏览 0提问于2015-02-15得票数 2
回答已采纳
4回答
我的要求:需要在服务器和客户端(J2EE)之间交换一些密钥。由于密钥是敏感的，所以我正在考虑加密它，并在收到同样的密钥时将其解密。在业绩方面，哪一个更好？客户端没有逻辑。服务器向客户端发送加密字符串，客户端返回该字符串。就像jsessionid一样。密钥不像信用卡号码那么敏感。但是它需要以不可读的格式交换，比普通编码技术要好。这里是的场景。我们向客户端发送电子邮件，其中包括从警报中“取消订阅”。单击该链接将禁用
浏览 4提问于2011-01-27得票数 1
1回答
这里有很多相关的问题，但是他们都要求编写一个程序来计算任意算法的复杂性(这显然是无法判定的)。我愿意对投入作出以下限制：
该算法是纯泛函的。问题是，一个程序能通过静态分析来计算这样一个算法的时间复杂度吗？如果输入算法未终止，则程序行为未定义(可能会崩溃、返回谎言或未能终止)。
浏览 5提问于2012-11-14得票数 6
回答已采纳
据我所知，对于秩-2类型存在一个可判定的类型检查算法(仅)。GHC是否以某种方式使用了这一事实，以及它是否有任何实际意义？
对于秩-2类型是否也有主类型的概念，以及类型推断算法？
浏览 3提问于2013-02-22得票数 29
回答已采纳
1回答
有没有什么算法可以找到“树形”中任意符号代数表达式的符号？
我知道通用算法不存在，因为零识别问题对于任意表达式是不可判定的，但是我应该如何处理寻找表达式符号的问题呢？
浏览 8提问于2013-12-22得票数 4
2回答
判定文章质量的算法
、、、、
我正在做一个项目，这个项目需要我分析新闻文章，并确定其中最好的。我计算出，要确定一篇文章的质量，我需要三个主要参数:文章的长度，facebook的分享/转发量和文章发布的时间。另外，请让我知道，如果有任何其他参数，我需要考虑在确定质量。
浏览 1提问于2013-07-04得票数 4
云服务器
ICP备案
对象存储
云直播
腾讯会议
腾讯云开发者
