我正在解决一个问题，要求使用质数2、3和5生成一个序列，然后显示序列中的第n个数字。所以，如果我要求程序显示第1000个数字，它应该显示它。#include <iostream>
int main() { for(int，这些代码并不能完成所需的工作。它显示像14这样的数字，其中包括<
浏览 13提问于2013-01-24得票数 0
回答已采纳
1回答
克莱恩星无法分辨
、、、
我知道，如果L是可判定的，我们可以通过构造一个图灵机来证明L*也是可判定的，但是我很难解决这个问题:如果L是不可判定的，那么L*也是不可判定的。这句话是真的还是假的？
浏览 2提问于2017-10-03得票数 1
我试图证明输入x}的语言L= {w∈{0，1}∗Mw(x)↓是部分可判定的，但不是可判定的。Mw是M的编码，因此L语言使机器M的所有编码在某个输入x上停止。我有两个想法：
但是，我很难决定这两种方法中哪一种实际上是正确<e
浏览 2提问于2018-10-30得票数 1
我的问题:定义单词的两个集合P和q(即两个问题)：P是不可判定的和不半可的，q是不可判定的和半可判定的，P是⊂q的。
浏览 1提问于2015-02-22得票数 1
回答已采纳
1回答
因此，PCP是半可判定的和不可判定的，停顿问题也是不可判定的。有没有可能为它们命名一个时间复杂度，比如NP或expTime？
那么空间复杂性呢:它们是在Pspace中吗？
浏览 12提问于2020-02-23得票数 0
回答已采纳
1回答
SMT-LIB中的QF_NRA逻辑是可判定的吗？
我知道Tarski证明了非线性算法是可判定的，在实数中多项式系统是可判定的。然而，QF_NRA是否属于这一保护伞并不明显，因为QF_NRA包含除法。第一个问题是，QF_NRA中的除法是否包括分母可能为零的变量除法。，因为答案本身就足够困难了。如果零除法不是QF_NRA的一部分，那么QF_NRA中的除法就可以转换为乘法，这个问题将如Tarski所证明<
浏览 2提问于2016-10-21得票数 2
回答已采纳
1回答
如果L1和L2是语言，我们就有了一种新的语言我如何证明INTERLACE是：
为了证明可判定语言类在操作下是封闭<
浏览 0提问于2017-04-01得票数 5
回答已采纳
然而，通过定义一种新的带计数器的Büchi自动机类，他们按照自动机理论方法建立了这种逻辑的可判定性。对于我来说，这听起来远不是我所理解的SMT求解器作为可判定理论与量词的决策过程所实现的经典量词消除。因此，我的问题是:如果一个理论可以像第1篇那样被证明是可判定的，那么Z3 (和其他求解者)是否实现了这些决策过程？换句话说，∀i . 0 ≤ i < n → a[i+1] = a[i]−1查询是用
浏览 8提问于2022-10-05得票数 0
回答已采纳
1回答
一方面，我认为这可能是错误的，因为空话可能是一个条目，但在另一个，我认为这可能是一个难以确定的问题。3)回文的语言，无论是哪种语言，都是可判定的吗?对于这个问题，我几乎毫不怀疑它是错误的，因为用Rice定理，我们可以证明，这个问题是不可判定
浏览 8提问于2017-11-24得票数 1
回答已采纳
3回答
我写了这个程序(js)，理想情况下会将10以下的所有质数放入一个名为“质数”的数组中……你们谁能认识到为什么它不起作用？(质数不会收到警报)。if(factors.length > 2){ }}
这是一个Js小提琴
谢谢你的帮助！
浏览 3提问于2014-01-19得票数 0
1回答
这是令人惊讶的，因为我一直在研究一阶理论，据我所知，LIA是可判定的，而NIA则不是(在理性主义中也是如此)。结果是[]，顺便说一句：有效。好吧，我知道NIA是semi-decidable.是对的吗？然而..。另外，在()中，同样声明: NIA不承认量词消除。另外，NIA的决策问题是不可判定的。
那么，NIA是不可判定的还是半可判
浏览 8提问于2021-11-24得票数 2
回答已采纳
3回答
这是维基百科中可判定的定义。
递归集是可递归枚举集的子集。有一些递归枚举语言在递归集之外。那么，为什么递归枚举语言不能确定呢？
浏览 3提问于2012-02-26得票数 5
回答已采纳
3回答
的可判定性
、、、
这个问题是半可判定的还是可判定的？
可以创建一个算法来找到答案，这样它就会始终停止。我对半可决定和可判定之间的区别感到很困惑。据我所知，如果我能够构建一个图灵机(算法)来接受问题的解决方案，并以其他方式拒绝，那么问题是可以判定的。然而，如果机器永远不会停止在输入不是解决方案的情况下，这意味着问题是半决定性的。因此，我想说，上述问题是可以解决的，但我不知道我所说的是
浏览 0提问于2018-07-07得票数 1
回答已采纳
由于自然数支持可判定的全序，注入在ascii类型上产生可判定的全序。用Coq表达这一点的简洁、惯用的方式是什么？(有或没有类型类、模块等)
浏览 2提问于2017-11-06得票数 6
回答已采纳
如何证明/否定语言{⟨A，⟩，⟩，A是NFA，L(A)={0,1}∗}是/不可判定的？
我最初认为，因为它涉及到NFA，所以它是可判定的，但是由于没有输入字符串来模拟这种变化吗？如果是这样的话，是怎么做的？我想不出有一台图灵机器能决定这一切。由于{0，1}*理论上是无限的，是否意味着图灵机永远不会停止，因此语言是不可判定的？如果是这样的话，我该如何证明呢？
浏览 0提问于2018-03-02得票数 1
回答已采纳
1回答
一般来说，一阶逻辑是不可判定的。然而，一阶逻辑的一些片段如一元逻辑、BSR片段、分离片段是可判定的.
有一些工具可以作为Z3来解决SAT/SMT问题。是否有检验FOL公式可满足性的工具/语言？
浏览 13提问于2019-12-05得票数 1
回答已采纳
1回答
我有一个编程语言的AST的数据类型，我想解释一下，但AST大约有10个不同的构造函数。SeqTerm : Term -> Term -> Term
我正在尝试编写一个函数，它对这种语言的语法树具有可判定的等价性。从理论上讲，这很简单:没有什么太复杂的，它只是存储在AST中的简单数据。问题是，有一堆多余的案例。在构造函数匹配的第一个模式匹配之后，理想情况下我可以匹配下划线，因为没有其他可能的</em
浏览 0提问于2017-07-18得票数 2
假设Haskell的函数应用程序( "space“运算符)是在一个类型中而不是在语言中。其思想是，这将使您可以定义其他类型的功能，如 ($) = matrixVectorMult
诸若此类。，这会使类型推断无法判定吗？，我的直觉说，它是这样的，但是我对类型推理的理解仅限于简单的辛德雷-米尔纳。作为后续行动，如果它是不可判定的，它是否可以通过取缔某些病理事件
浏览 3提问于2016-02-09得票数 5
回答已采纳
1回答
自由双笛卡尔闭范畴(BCCC)的决策问题是可判定的吗？等价地，对于具有强n值积和和的简单类型lambda演算，等式可判定吗？对于免费的几乎BCCC的决策问题是可以确定的：
但这项工作不包括初始对象，也不包括空类型的lambda-calulus术语，尽管他们推测他们的方法可以扩展到BCCCs。
浏览 0提问于2013-09-18得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
腾讯会议活动推荐
腾讯云开发者
