1回答
如果L1和L2是语言，我们就有了一种新的语言我如何证明INTERLACE是：
为了证明可判定语言类在操作下是封闭的
浏览 0提问于2017-04-01得票数 5
回答已采纳
1回答
1)是一个图灵机M，它接受语言L= {ε}，不接受输入？同样的想法，凭直觉我会说是的，因为可判定性的定义，但我不知道，有些事情困扰着我。
3)回文的语言，无论是哪种语言，都是可判定的吗?对于这个问题，我几乎毫不怀疑它是错误的，因为用Rice定理，我们可以证明，这个问题是不可判定的。
浏览 8提问于2017-11-24得票数 1
回答已采纳
我试图证明输入x}的语言L= {w∈{0，1}∗Mw(x)↓是部分可判定的，但不是可判定的。Mw是M的编码，因此L语言使机器M的所有编码在某个输入x上停止。我有两个想法：
但是，我很难决定这两种方法中哪一种实际上是正确的，以及如何用正确的符号来写它。有人能给点提示吗？
浏览 2提问于2018-10-30得票数 1
5回答
在乔姆斯基的层次结构中，没有定义递归语言集。我知道递归语言是递归枚举语言的子集，并且所有递归语言都是可判定的。
我感兴趣的是递归语言与上下文敏感语言的比较。我是否可以假设上下文敏感语言是递归语言的严格子集，因此所有上下文敏感语言都是可判定的？
浏览 27提问于2010-06-17得票数 6
3回答
这是维基百科中可判定的定义。
递归集是可递归枚举集的子集。有一些递归枚举语言在递归集之外。那么，为什么递归枚举语言不能确定呢？
浏览 3提问于2012-02-26得票数 5
回答已采纳
1回答
证明两种图灵可判定语言的交集是图灵可判定的。(给定决定每种语言的算法，描述确定字符串是否属于交集的算法。)
我知道，如果有一种算法来决定成员资格，一种语言是图灵可决定的。
浏览 1提问于2015-12-06得票数 1
1回答
克莱恩星无法分辨
、、、
我知道，如果L是可判定的，我们可以通过构造一个图灵机来证明L*也是可判定的，但是我很难解决这个问题:如果L是不可判定的，那么L*也是不可判定的。这句话是真的还是假的？
浏览 2提问于2017-10-03得票数 1
如果G是上下文无关语言，那么L(G) = (sigma) *是可判定的还是不可判定的？我从哪里得到这个问题的来源是，答案是undecidable...but，我认为它是可决定的，因为:由于sigma *是无限的(如果我错了，请纠正我)，并且上下文无关语言的无穷性是可决定的，所以上述是无限上下文无关语言
浏览 0提问于2019-12-06得票数 1
如何证明/否定语言{⟨A，⟩，⟩，A是NFA，L(A)={0,1}∗}是/不可判定的？
我最初认为，因为它涉及到NFA，所以它是可判定的，但是由于没有输入字符串来模拟这种变化吗？由于{0，1}*理论上是无限的，是否意味着图灵机永远不会停止，因此语言是不可判定的？如果是这样的话，我该如何证明呢？
浏览 0提问于2018-03-02得票数 1
回答已采纳
MAC地址80:41:26:53:24:11被判定为数字62745168251，而84:19:14:15:86:58被判定为字符串。
浏览 0提问于2018-10-10得票数 1
回答已采纳
一种能被TM识别但不能由TM决定的语言可以吗？一种语言的例子，该语言可以被商标识别，但不能由商标决定
TM={<M,w> M is a TM that accepts input string w}简而言之，由TM识别的任何字符串都称为TM可识别的，而被TM接受的任何字符串则称为TM可判定的。
浏览 2提问于2016-01-02得票数 0
回答已采纳
1回答
一般来说，一阶逻辑是不可判定的。然而，一阶逻辑的一些片段如一元逻辑、BSR片段、分离片段是可判定的.
有一些工具可以作为Z3来解决SAT/SMT问题。是否有检验FOL公式可满足性的工具/语言？
浏览 13提问于2019-12-05得票数 1
回答已采纳
1回答
我需要证明语言L(EVEN) = { M : |L(M)| is even }是不可决定的。
我的问题是，我无法想出一些以前被证明是无法决定的语言，这些语言对展示L <= L(EVEN)是有用的。到目前为止，我们在课堂上介绍的不可判定的语言如下：
- L(emptyset) = { M | M is a TM
浏览 7提问于2020-02-12得票数 1
然而，通过定义一种新的带计数器的Büchi自动机类，他们按照自动机理论方法建立了这种逻辑的可判定性。对于我来说，这听起来远不是我所理解的SMT求解器作为可判定理论与量词的决策过程所实现的经典量词消除。因此，我的问题是:如果一个理论可以像第1篇那样被证明是可判定的，那么Z3 (和其他求解者)是否实现了这些决策过程？换句话说，∀i . 0 ≤ i < n → a[i+1] = a[i]−1查询是用Z3中的终止决策过程来决定的，还是使用了更高效、但却是半可判定的启发式方法？如果他们使用终止过程，Z3 (和其他部分)如何识别
浏览 8提问于2022-10-05得票数 0
回答已采纳
假设Haskell的函数应用程序( "space“运算符)是在一个类型中而不是在语言中。，这会使类型推断无法判定吗？，我的直觉说，它是这样的，但是我对类型推理的理解仅限于简单的辛德雷-米尔纳。作为后续行动，如果它是不可判定的，它是否可以通过取缔某些病理事件来判定？
浏览 3提问于2016-02-09得票数 5
回答已采纳
云服务器
ICP备案
云直播
对象存储
实时音视频
腾讯云开发者
