腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
克莱恩星无法分辨
、
、
、
我知道,如果L是可
判定
的,我们可以通过构造一个图灵机来证明L*也是可
判定
的,但是我很难解决这个问题:如果L是不可
判定
的,那么L*也是不可
判定
的。这句话是真的还是假的?
浏览 2
提问于2017-10-03
得票数 1
1
回答
P是不可
判定
的而不是半可分的,q是不可
判定
的和半可
判定
的,P⊂q是不可
判定
的。
、
我的问题:定义单词的两个集合P和q(即两个问题):P是不可
判定
的和不半可的,q是不可
判定
的和半可
判定
的,P是⊂q的。
浏览 1
提问于2015-02-22
得票数 1
回答已采纳
1
回答
证明输入x}的语言L= {w∈{0,1}∗Mw(x)↓是部分可
判定
但不可
判定
的
我试图证明输入x}的语言L= {w∈{0,1}∗Mw(x)↓是部分可
判定
的,但不是可
判定
的。Mw是M的编码,因此L语言使机器M的所有编码在某个输入x上停止。我有两个想法: 但是,我很难决定这两种方法中哪一种实际上是正确的,以及如何用正确的符号来写它。有人能给点提示吗?
浏览 2
提问于2018-10-30
得票数 1
1
回答
PCP和停机问题的时间和空间复杂性
、
、
因此,PCP是半可
判定
的和不可
判定
的,停顿问题也是不可
判定
的。有没有可能为它们命名一个时间复杂度,比如NP或expTime? 那么空间复杂性呢:它们是在Pspace中吗?
浏览 12
提问于2020-02-23
得票数 0
回答已采纳
1
回答
Z3 (和其他求解者)总是在可能的情况下使用终止决策过程吗?
、
、
、
、
然而,通过定义一种新的带计数器的Büchi自动机类,他们按照自动机理论方法建立了这种逻辑的可
判定
性。对于我来说,这听起来远不是我所理解的SMT求解器作为可
判定
理论与量词的决策过程所实现的经典量词消除。因此,我的问题是:如果一个理论可以像第1篇那样被证明是可
判定
的,那么Z3 (和其他求解者)是否实现了这些决策过程?换句话说,∀i . 0 ≤ i < n → a[i+1] = a[i]−1查询是用Z3中的终止决策过程来决定的,还是使用了更高效、但却是半可
判定
的启发式方法?如果他们使用终止过程,Z3 (和其他部分)如何识别
浏览 8
提问于2022-10-05
得票数 0
回答已采纳
1
回答
证明这种语言是否是可分辨的和可识别的
、
、
、
例如,如果abc ∈ L1和123 ∈ L2,那么a1b2c3 ∈ INTERLACE(L1, L2) 之后,我想我要说的是,如何构建识别语言的DFA?
浏览 0
提问于2017-04-01
得票数 5
回答已采纳
1
回答
SMT-LIB中的QF_NRA逻辑是可
判定
的吗?
、
、
、
SMT-LIB中的QF_NRA逻辑是可
判定
的吗? 我知道Tarski证明了非线性算法是可
判定
的,在实数中多项式系统是可
判定
的。然而,QF_NRA是否属于这一保护伞并不明显,因为QF_NRA包含除法。如果零除法不是QF_NRA的一部分,那么QF_NRA中的除法就可以转换为乘法,这个问题将如Tarski所证明的那样是可
判定
的。如果QF_NRA中实际上包含了部门,那么我就不太确定了。在这种情况下,QF_NRA仍然是可
判定
的。
浏览 2
提问于2016-10-21
得票数 2
回答已采纳
1
回答
图灵机可
判定
性模糊案例
、
、
2)是否每台语言可
判定
的图灵机在任何输入上都会停止?3)回文的语言,无论是哪种语言,都是可
判定
的吗?对于这个问题,我几乎毫不怀疑它是错误的,因为用Rice定理,我们可以证明,这个问题是不可
判定
的。
浏览 8
提问于2017-11-24
得票数 1
回答已采纳
2
回答
在test.yaml格式文件中,一些MAC地址将被判断为数字。
、
MAC地址80:41:26:53:24:11被
判定
为数字62745168251,而84:19:14:15:86:58被
判定
为字符串。
浏览 0
提问于2018-10-10
得票数 1
回答已采纳
1
回答
Z3:非线性整数算术不可
判定
还是半可
判定
?
、
、
、
、
这是令人惊讶的,因为我一直在研究一阶理论,据我所知,LIA是可
判定
的,而NIA则不是(在理性主义中也是如此)。结果是[],顺便说一句:有效。在()中:G del证明了(NIA)是一个不可
判定
的问题。那么,NIA是不可
判定
的还是半可
判定
的?同样,在不可
判定
的意义上,G del的意思是不可
判定
的(但对semi-decidability)?只字不提) 是否有完全无法分辨的LIA片段?例如
浏览 8
提问于2021-11-24
得票数 2
回答已采纳
1
回答
上下文无关语言的子集是可决定的吗?
J是可
判定
的吗?上下文无关的语言是可确定的。
浏览 13
提问于2020-10-15
得票数 0
3
回答
为什么递归枚举语言不能确定
、
、
这是维基百科中可
判定
的定义。 递归集是可递归枚举集的子集。有一些递归枚举语言在递归集之外。那么,为什么递归枚举语言不能确定呢?
浏览 3
提问于2012-02-26
得票数 5
回答已采纳
3
回答
的可
判定
性
、
、
、
这个问题是半可
判定
的还是可
判定
的? 可以创建一个算法来找到答案,这样它就会始终停止。我对半可决定和可
判定
之间的区别感到很困惑。据我所知,如果我能够构建一个图灵机(算法)来接受问题的解决方案,并以其他方式拒绝,那么问题是可以
判定
的。然而,如果机器永远不会停止在输入不是解决方案的情况下,这意味着问题是半决定性的。
浏览 0
提问于2018-07-07
得票数 1
回答已采纳
1
回答
从注入到“性质”中获得一种类型的可
判定
的总订单
、
、
由于自然数支持可
判定
的全序,注入在ascii类型上产生可
判定
的全序。用Coq表达这一点的简洁、惯用的方式是什么?(有或没有类型类、模块等)
浏览 2
提问于2017-11-06
得票数 6
回答已采纳
2
回答
如果Kotlin中的类型参数被另一个类型参数所限制,它为什么不能有其他的界呢?
、
在Kotlin中保证可
判定
的子类型是一种限制(我猜。对于Scala来说,子类型是不可
判定
的(Scala有一个图灵完整的类型系统)。Kotlin可能想要像C#这样的可
判定
的子类型)?@erokhins ()回答后的更新:在Scala中使用test(new AB, new AB)调用test(new AB, n
浏览 2
提问于2017-05-04
得票数 36
回答已采纳
1
回答
检验一阶逻辑可满足性的工具/语言?
、
、
、
一般来说,一阶逻辑是不可
判定
的。然而,一阶逻辑的一些片段如一元逻辑、BSR片段、分离片段是可
判定
的. 有一些工具可以作为Z3来解决SAT/SMT问题。是否有检验FOL公式可满足性的工具/语言?
浏览 13
提问于2019-12-05
得票数 1
回答已采纳
2
回答
语言{⟨A⟩⟩A是NFA和L(A)={0,1}∗}可
判定
吗?可
判定
的?
、
、
如何证明/否定语言{⟨A,⟩,⟩,A是NFA,L(A)={0,1}∗}是/不可
判定
的? 我最初认为,因为它涉及到NFA,所以它是可
判定
的,但是由于没有输入字符串来模拟这种变化吗?由于{0,1}*理论上是无限的,是否意味着图灵机永远不会停止,因此语言是不可
判定
的?如果是这样的话,我该如何证明呢?
浏览 0
提问于2018-03-02
得票数 1
回答已采纳
1
回答
在少于n^2的情况下,Agda中的可
判定
等式?
、
、
、
、
SeqTerm : Term -> Term -> Term 我正在尝试编写一个函数,它对这种语言的语法树具有可
判定
的等价性。从理论上讲,这很简单:没有什么太复杂的,它只是存储在AST中的简单数据。
浏览 0
提问于2017-07-18
得票数 2
1
回答
如果函数应用程序是一个典型的类型化呢?
、
,这会使类型推断无法
判定
吗?,我的直觉说,它是这样的,但是我对类型推理的理解仅限于简单的辛德雷-米尔纳。作为后续行动,如果它是不可
判定
的,它是否可以通过取缔某些病理事件来
判定
?
浏览 3
提问于2016-02-09
得票数 5
回答已采纳
4
回答
为什么
Java
编译器(javac)区分
大小写
,而
java
(解释器)区分
大小写
?
、
、
在执行
Java
程序时,我注意到
Java
编译器对文件名不区分
大小写
,而
Java
解释器则区分
大小写
。 区分
大小写
的
Java
解释器非常容易理解,因为类文件的名称是
Java
代码中定义的类的名称。
Java
编译器不区分
大小写
有什么好的理由吗?
浏览 4
提问于2014-02-07
得票数 2
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
JAVASCRIPT基本语法-区分大小写
MySQL数据记录大小写问题
虚假交易稽查判定机制大猜想:全AI判定、无人工干预
如何判定灵活用工
灵活用工判定条件
热门
标签
更多标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
活动推荐
运营活动
广告
关闭
领券