1回答
如果L1和L2是语言，我们就有了一种新的语言我如何证明INTERLACE是：
为了证明可判定语言类在操作下是封闭的
浏览 0提问于2017-04-01得票数 5
回答已采纳
1回答
这种语言可以分辨吗？
、、、、
我在纠结于这是否是可判定的：我倾向于认为，这是可判定的，因为当输入图灵机时，它将永远不会达到接受状态和无限大的循环，除非它拒绝然而，我也知道，要想判断一种语言，就必须有一个算法来决定它；我们不一定要知道它是如何完成的。有了这个，我觉得它是可以决定的吗？有人知道怎么证明吗？
浏览 12提问于2012-01-26得票数 3
我试图证明输入x}的语言L= {w∈{0，1}∗Mw(x)↓是部分可判定的，但不是可判定的。Mw是M的编码，因此L语言使机器M的所有编码在某个输入x上停止。我有两个想法：
但是，我很难决定这两种方法中哪一种实际上是正确的，以及如何用正确的符号来写它。有人能给点提示吗？
浏览 2提问于2018-10-30得票数 1
然而，通过定义一种新的带计数器的Büchi自动机类，他们按照自动机理论方法建立了这种逻辑的可判定性。对于我来说，这听起来远不是我所理解的SMT求解器作为可判定理论与量词的决策过程所实现的经典量词消除。因此，我的问题是:如果一个理论可以像第1篇那样被证明是可判定的，那么Z3 (和其他求解者)是否实现了这些决策过程？换句话说，∀i . 0 ≤ i < n → a[i+1] = a[i]−1查询是用Z3中的终止决策过程来决定的，还是使用了更高效、但却是半可判定的启发式方法？如果他们使用终
浏览 8提问于2022-10-05得票数 0
回答已采纳
1回答
我想要对一个概念进行一些澄清。为了证明一个问题是NP完全的，我们使用约简。我对此感到相当困惑。此外，我也不能解决这个问题，我必须证明“在一个至少有k条边的图中，是否有一条从s到t的路径”。
浏览 8提问于2012-11-19得票数 0
1回答
all: right; intro C; auto.由于X有一个有限的元素数，所以它上有一个有限的可判定谓词。因此，在这个证明中，我只看了所有这些，并证明了每一个求和的正确一面。我的直觉是，这应该是不可判定的:没有算法有一个有限的上边界的运算，以确定是否P持有所有的n : nat。同样的，似乎应该适用于元素数量无限的任何其他类型(例如，不仅仅是nat)。
浏览 0提问于2019-11-01得票数 1
回答已采纳
2回答
在我写这个问题的时候，我花了相当多的时间在互联网上搜索，只发现了一些过时的项目，但是这样的java工具已经存在了，我无法相信c#中什么都没有。我认为这个问题与编程(代码验证)有关，并不是真的征求意见。
浏览 4提问于2013-09-03得票数 0
回答已采纳
3回答
一阶逻辑引擎
、、、
我想创建一个可以使用一阶逻辑进行简单推理的应用程序。谁能推荐一个“引擎”，它可以接受任意数量的FOL表达式，并允许查询这些表达式(最好是通过Python访问)？
浏览 1提问于2010-02-21得票数 14
回答已采纳
2回答
考虑到C++模板系统是，而且它也是-，有人能给我提供一个使g++编译器循环永远存在的程序的一个非平凡的例子吗？对于更多的上下文，我设想如果C++模板系统是图灵全的，它可以识别所有递归枚举语言，并决定所有递归语言。所以，它让我想到了接受问题，以及它更著名的兄弟，停止问题。我还设想，在句法分析中，g++必须决定输入是否属于C++语言(就像它属于可判定性问题一样)。但是它还必须解析所有模板，而且由于模板是递归枚举的，所以必须有一个C++程序使g++语法分析永
浏览 14提问于2022-10-04得票数 2
回答已采纳
1回答
我想定义一个参数化命题decidable，它讨论其他参数化命题的可判定性。作为一个常见的例子，even是一个参数化命题，它采用nat类型的一个参数，并且是可判定的。lt是一个参数化命题，它采用nat型的两个参数，并且它也是可判定的。我希望decidable是这样的，decidable even和decidable lt都是可证明的命题。它必须接受A -> B -> C -> ... Z -> Prop类型的任何参数化命题，其中A.Z是类型，它们的总数是任意的。所以现在我找不到任何方法</em
浏览 2提问于2014-08-22得票数 0
回答已采纳
让L1和L2是两种语言，这样就不存在同时属于L1和L2的字符串w。我在努力证明，如果L1和L2都是可共同识别的，那么就存在一个可判定的语言A，使得L1⊆A和L2⊆A. A --A的补充。
浏览 1提问于2017-04-10得票数 0
1回答
我已经在这方面工作了相当长的一段时间了，我有一个任务是创建一个程序来计算用户输入的数字是否为质数，该程序计算所用的时间并将其显示给用户，但是我发现了两种方法，一种比另一种花费更多的时间，但它产生准确的数字，另一种计算非常快，但是它是错误的，我希望有人能帮助我，告诉我计算这个的最快方法，这是我的两个代码 Code1： Dim ch As String
While
浏览 2提问于2019-03-19得票数 0
回答已采纳
1回答
例如，我知道语言
不是上下文无关的，但我如何证明它落入NP而不是exp。时间，可判定的语言，还是可识别的图灵？我如何知道: a:这种语言在多项式时间内存在一个验证器，b: NDTM可以识别它。
浏览 0提问于2011-12-08得票数 1
回答已采纳
1回答
如果给出了无上下文语法，是否有系统的方法来找出生成的语言并用描述性而不是解析方法表示它，例如L(G)={0^n.1^n|n?=1} (而不是L(G)={01,0011,000111，.})？我之所以这样问，是因为如果给出了一个CFG，并且有这样一个问题：“找到语法的语言。证明你的答案是正确的。”，那么一个人怎么能证明/证明他/她的答案是不正确的呢？
浏览 6提问于2011-04-06得票数 1
回答已采纳
1回答
字母表与形式语法与语言的挑战
、、、、
我总结我的推论：来自ALPH的所有语言都是可数的。(我认为这是错误的)( d)由形式语法生成的ALPH上的每一种任意语言都是递归的。(我认为这是真的)
任何人都能帮我，也许还能纠正我？
浏览 2提问于2014-10-05得票数 0
回答已采纳
1回答
我必须对语言L={aˆjbˆkaˆl =j* k}进行分类。-Is是证明它是这两种机器之一所必需的功能性图灵机吗？或者仅仅是反驳它是足够自由的上下文？
浏览 1提问于2022-09-04得票数 -1
1回答
如果i是素数，则在正方形的那个位置打印数字i。否则，在该位置打印三个星号。向右移动一个方块，并测试整数I+1是否为素数。如果是质数，则打印I+1，如果不是，则打印三个星号。
浏览 1提问于2011-12-04得票数 1
回答已采纳
4回答
这个程序应该打印第一个x质数，但我注意到它打印了一些非质数，比如27或35。我已经看了几个小时了，似乎什么都没有出现。所以，如果你知道出了什么问题，请告诉我。 #include int i=0, cont=2, prim=2, quant; scanf("%d", &quant);
printf("The first %d prime numbers are:\n", qua
浏览 83提问于2014-10-31得票数 1
回答已采纳
1回答
C语言中的素数因子
、、、
我偶然发现了这个有效的程序，它可以打印给定数字的所有素因数：# include <math.h>
void primeFactors(int n) // Print the number of 2s that divide n { n = n/2;
浏览 36提问于2018-06-09得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
