1回答
如果L1和L2是语言，我们就有了一种新的语言我如何证明INTERLACE是：
为了证明可判定语言类在操作下是封闭的
浏览 0提问于2017-04-01得票数 5
回答已采纳
语言由所有图灵机描述M组成的L语言，M所接受的语言是有限的。我说L是一种可判定的语言，因为我可以在函数D(M)上运行M，如果在开始状态和接受状态之间存在一个循环，则返回false，否则返回true。
我有一种感觉，我错了，因为我低估了探测无限循环的难度。
浏览 1提问于2013-12-09得票数 2
具体来说，我正在研究一阶阵列理论中不同的可判定碎片.
例如，第1篇文章给出了一个数组的∃∗∀∗片段，我们可以证明它的属性:例如，∀i . 0 ≤ i < n → a[i+1] = a[i]−1。然而，通过定义一种新的带计数器的Büchi自动机类，他们按照自动机理论方法建立了这种逻辑的可判定性。对于我来说，这听起来远不是我所理解的SMT求解器作为可判定理论与量词的决策过程所实现的经典量词消除。因此，我的问题是:如果一个理论可以像第1篇那样被证明是可判定的，那么Z3 (和其他求解者)是否实现了这些决策过
浏览 8提问于2022-10-05得票数 0
回答已采纳
1回答
这种语言可以分辨吗？
、、、、
我在纠结于这是否是可判定的：我倾向于认为，这是可判定的，因为当输入图灵机时，它将永远不会达到接受状态和无限大的循环，除非它拒绝然而，我也知道，要想判断一种语言，就必须有一个算法来决定它；我们不一定要知道它是如何完成的。有了这个，我觉得它是可以决定的吗？有人知道怎么证明吗？
浏览 12提问于2012-01-26得票数 3
2回答
考虑到C++模板系统是，而且它也是-，有人能给我提供一个使g++编译器循环永远存在的程序的一个非平凡的例子吗？对于更多的上下文，我设想如果C++模板系统是图灵全的，它可以识别所有递归枚举语言，并决定所有递归语言。所以，它让我想到了接受问题，以及它更著名的兄弟，停止问题。我还设想，在句法分析中，g++必须决定输入是否属于C++语言(就像它属于可判定性问题一样)。但是它还必须解析所有模板，而且由于模板是递归枚举的，所以必须有一个C++程序
浏览 14提问于2022-10-04得票数 2
回答已采纳
4回答
我很难理解机器识别和决定一种语言意味着什么。我想我已经接近定义了，但不对。当有人说图灵机T识别语言L时其中DFA =确定性有限自动机谢谢
浏览 3提问于2011-03-14得票数 10
一种能被TM识别但不能由TM决定的语言可以吗？一种语言的例子，该语言可以被商标识别，但不能由商标决定
TM={<M,w> M is a TM that accepts input string w}简而言之，由TM识别的任何字符串都称为TM可识别的，而被TM接受的任何字符串则称为TM可判定的。
浏览 2提问于2016-01-02得票数 0
回答已采纳
1回答
我必须证明语言L= {< M >：|L(M)| <= 2016}不是半可判定的。但这意味着执行这些检查的图灵机结束于无限循环，因此永远不会返回、接受或拒绝它的输入。因此，语言L不是半定的。
但我认为这可能还不够正式？主要是因为我只是假设检查这种语言的图灵机会让M在E*中的每个单词上运行。这个假设是有效的吗，或者我应该更正式地这么说？
浏览 25提问于2017-05-28得票数 0
3回答
过滤特定的组合或序列
、、、
“决定”顺序必须是C，D，E。所以我在这里寻找的是因为ID "805“具有”判定“序列C、D、E，并且它们在相同的”应用“号中。我试着使用循环，如果不是这样的话，过滤器，但对我没有任何作用。
浏览 3提问于2022-07-16得票数 0
3回答
我想知道递归语言和递归枚举语言在停止和图灵机器方面有什么区别。我知道递归可枚举语言是递归语言的子集，但我不确定除此之外还有什么区别。
浏览 0提问于2015-11-01得票数 14
回答已采纳
假设我有一个接受语言L的TM M，如果我给它输入单词w，并且想知道它是接受还是循环--如果M不接受w，我可以不解释我做了什么吗？我的意思是-短语“如果M不接受w”假设每个算法都可以隐式地识别一个无限循环。在无限循环的情况下，如何检测到它？
谢谢
浏览 1提问于2018-04-07得票数 0
让L1和L2是两种语言，这样就不存在同时属于L1和L2的字符串w。我在努力证明，如果L1和L2都是可共同识别的，那么就存在一个可判定的语言A，使得L1⊆A和L2⊆A. A --A的补充。
浏览 1提问于2017-04-10得票数 0
认为这是一个简单的问题，但找不到一个简单的答案。正在使用的限制之一是正则表达式模式限制。pattern=".*\.."将不受长度限制。因为可以匹配hey.、heeeey.或以.结尾的任意长度字符的字符串是否有一些实用程序、脚本或函数可以检查给定的正则表达式模式是否受长度限制，或者我必须编写自己的脚本？
浏览 7提问于2020-08-12得票数 0
3回答
C#静态数组绑定检查
、、、、
是否有用于C#的工具可以静态地(不执行代码)检测出绑定数组访问，即将抛出的数组访问。
谢谢。编辑:是的，我知道在general 中，理论上是不可能这样做的(也就是说，它是不可判定的)，但这并不意味着在某些情况下不可能这样做(事实上，正式验证的整个领域是为理论上不可能的事情生产实用工具)。
浏览 6提问于2013-12-06得票数 1
回答已采纳
1回答
我试图在幻影类型中将单元数组(来自dimensional)相乘，并且在函数依赖方面遇到了困难。v b n]instance '[] '[] '[] => Mul
浏览 2提问于2014-08-21得票数 4
回答已采纳
2回答
在我写这个问题的时候，我花了相当多的时间在互联网上搜索，只发现了一些过时的项目，但是这样的java工具已经存在了，我无法相信c#中什么都没有。我认为这个问题与编程(代码验证)有关，并不是真的征求意见。
浏览 4提问于2013-09-03得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
