2回答
我在想，所有无限的语言都是不可决定的吗？
他们肯定是对的，因为TM试图决定一种无限的语言只会永远循环，这使得它成为一个识别器，而不是一个判定者。
谢谢你们。
浏览 4提问于2013-02-13得票数 0
2回答
TSP是怎么难的？
、、、
我在上的一个答案中读到了以下内容
通常情况下，旅行推销员的问题是找到连接所有城市的最便宜的路线。这不是一个决策问题，我们不能直接验证任何建议的解决方案。我们可以把它重新描述为一个决策问题:给定成本C，有比C更便宜的路线吗？这个问题是NP-完全的，只要做一点工作，我们就可以像修改的、NP-完全的、形式一样容易地解决原来的TSP问题。因此，TSP是NP难的，因为它至少和NP完全问题一样难。
我知道TSP是NP-完全的，但是这个问题是NP-难的吗？我读到NP中的问题，但P中没有的问题是NP难的。我不能把这件事和TSP联系起来。请解释一下。
浏览 6提问于2012-11-03得票数 3
我想从编写一个环境开始，不幸的是，我不得不使用它
windows 10 / 64 bit's
Visual-Studio-Code
我是GraphQL技术的新手，这就是为什么我有这样的问题。
我不明白为什么当所有的解析器函数都在一个文件中时，整个项目都工作得很好。
不幸的是，当它开始更多地关注结构时，一切都开始产生新的错误
如下所示，当我试图启动节点服务器时，我遇到了这种类型的错误
(function (exports, require, module, __filename, __dirname) { ��c
浏览 26提问于2018-08-02得票数 0
回答已采纳
首先上面的问题是正确的吗？
我认为可判断性是特定问题的属性，例如: 1.给定的字符串是否属于特定的语言；2. TM是否会在给定的输入上达到特定的状态，而不是TM(或任何其他机器)本身。
如果上面的问题是正确的，那么我认为它是不可决定的。
它可以停留在特定状态，并且可能无法达到目标状态。此外，它还可以修改输入并移动到以前的状态，因此我们仍然不知道它是否会达到目标状态
有没有办法证明或反驳它？
浏览 4提问于2020-11-25得票数 1
我正在尝试在Presidio中使用节语言模型，并遇到了这个拦截器。
import stanza
stanza.download("en")
from presidio_analyzer.nlp_engine import StanzaNlpEngine
StanzaNlpEngine(models={"en": "en"})
上面抛出的..。
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File &#
浏览 5提问于2021-08-05得票数 0
我在jquery插件中经常看到这一点。我所知道的是，markerclusterer.js是人类可读的代码，但这两个文件之间的区别并不是很清楚。谁能给我解释一下please.And的区别，在这种情况下，我们使用每种类型的文件。
浏览 6提问于2012-08-25得票数 0
回答已采纳
1回答
在Z3 (Python)中，我解决了以下问题：
y1,y2,x = Ints('y1 y2 x')
univ = ForAll([x], (y1<y2+x*x))
phi = Exists([y1,y2], univ)
solve(phi)
请注意，编码没有意义，只是播放而已。
关键是这个结果完全让我大吃一惊，因为它返回了一个结果！这是令人惊讶的，因为我一直在研究一阶理论，据我所知，LIA是可判定的，而NIA则不是(在理性主义中也是如此)。结果是[]，顺便说一句：有效。
所以我在这一边搜索了这个问题，发现()，是莱昂纳多·德莫拉自己回答如下:如果一个公式有一个解，我们总
浏览 8提问于2021-11-24得票数 2
回答已采纳
3回答
这是维基百科中可判定的定义。
在可计算性理论中，一个不可判定的问题由一系列需要一个特定的是/否答案的实例组成，这样就没有计算机程序，在给定任何问题实例作为输入后，在有限的步骤之后终止和输出所需的答案。更正式地说，一个不可判定的问题是其语言不是递归集的问题。
递归集是可递归枚举集的子集。有一些递归枚举语言在递归集之外。那么，为什么递归枚举语言不能确定呢？
浏览 3提问于2012-02-26得票数 5
回答已采纳
1回答
克莱恩星无法分辨
、、、
我知道，如果L是可判定的，我们可以通过构造一个图灵机来证明L*也是可判定的，但是我很难解决这个问题:如果L是不可判定的，那么L*也是不可判定的。这句话是真的还是假的？
浏览 2提问于2017-10-03得票数 1
1回答
我有一个编程语言的AST的数据类型，我想解释一下，但AST大约有10个不同的构造函数。
data Term : Set where
UnitTerm : Term
VarTerm : Var -> Term
...
SeqTerm : Term -> Term -> Term
我正在尝试编写一个函数，它对这种语言的语法树具有可判定的等价性。从理论上讲，这很简单:没有什么太复杂的，它只是存储在AST中的简单数据。
问题是，编写这样一个函数似乎需要大约100个用例:对于每个构造函数，有10个用例。
eqDecide : (x : Term) -> (y
浏览 0提问于2017-07-18得票数 2
我的问题:定义单词的两个集合P和q(即两个问题)：P是不可判定的和不半可的，q是不可判定的和半可判定的，P是⊂q的。
浏览 1提问于2015-02-22得票数 1
回答已采纳
我有一个允许字符串为空的正则表达式。如果不为空，则字符串可能只包含字母和空格。但它不能以空格开头或结尾。
这个RegExp应该可以完成这项工作：^(?! )[a-zA-Z]*[a-zA-Z ]*$我已经在这里测试过了：
但是当我在我的js中实现这一点时，它不允许字符串为空。
这是代码
function validatePreposition(name) {
string = string = document.forms['form'][name].value;
pattern = new RegExp('^(?! )[a-zA-Z]*[a-zA-Z ]
浏览 27提问于2011-12-01得票数 4
回答已采纳
在精益手册“精益证明定理”中，我读到：“用经典公理，我们可以证明每一个命题都是可判定的”。
我想要求澄清这一声明，我在问一个Coq论坛，因为这个问题同样适用于Coq，也适用于精益(但我觉得我更有可能在这里得到答案)。
在阅读“用经典公理”时，我知道我们有一些等价于排除中间定律的东西：
Axiom LEM : forall (p:Prop), p \/ ~p.
当阅读“每个命题都是可判定的”时，我理解我们可以定义一个函数(或者至少我们可以证明这样一个函数的存在)：
Definition decide (p:Prop) : Dec p.
其中Dec是归纳型家族：
Inductive Dec (p:
浏览 0提问于2020-04-20得票数 3
回答已采纳
1回答
如果DOM节点为空，是否可以仅使用xPath来识别该节点？
例如，任何像这样的节点：
<div></div>
我希望只在xPath的返回节点上执行一次length，如下所示：
$doc = new DOMDocument();
$doc->loadHTML($html);
$xpath = new DOMXPath($doc);
$xpath_rule = "XPATH";
$returned_nodes = $xpath->query($xpath_rule);
if($returned_nodes->length >
浏览 3提问于2011-08-01得票数 2
回答已采纳
3回答
我对不可判定问题和NP困难问题之间的关系感到有点困惑。NP难题是否是不可判定问题的子集，或者它们是相同和相等的，还是它们不具有可比性？
对我来说，我一直在和我的朋友们争论，不可决定的问题是NP困难问题的超集。将会存在一些问题，这些问题不是NP困难的，但无法确定。但我发现这个论点是站不住脚的，而且有点困惑。是否存在无法确定的NP-完全问题？在NP hard中有什么问题是可以决定的吗？？
一些讨论会有很大的帮助！谢谢!
浏览 8提问于2012-05-08得票数 16
回答已采纳
1回答
以下是一个模棱两可的CFG：
S -> aSb|bA|Ba
A -> bA|B
B -> aB|A|ε
通过解析字符串"ba“，可以轻松地检查语法的歧义。
是否有像上面那样的修正CFG歧义的算法？
谢谢你的帮助
浏览 1提问于2014-04-15得票数 0
回答已采纳
1回答
如何制作一个图灵机图形，它可以识别all words with an even number of a's，但它是not a decider而不是其他任何东西。另外，如何为相同的语言制作decider图灵机图形。
浏览 45提问于2020-06-28得票数 1
1回答
下面的语言L是不可分辨的吗？
L= {M \M是图灵机描述，并且存在一个长度为k的输入x，使得M最多在k步之后停止。
我想是的，但我无法证明。我试着想办法从停下来的问题上减少一点。
浏览 1提问于2011-07-10得票数 6
回答已采纳
1回答
SMT-LIB中的QF_NRA逻辑是可判定的吗？
我知道Tarski证明了非线性算法是可判定的，在实数中多项式系统是可判定的。然而，QF_NRA是否属于这一保护伞并不明显，因为QF_NRA包含除法。第一个问题是，QF_NRA中的除法是否包括分母可能为零的变量除法。，因为答案本身就足够困难了。
如果零除法不是QF_NRA的一部分，那么QF_NRA中的除法就可以转换为乘法，这个问题将如Tarski所证明的那样是可判定的。如果QF_NRA中实际上包含了部门，那么我就不太确定了。我的感觉是，这个问题仍然可以按情况分解，在除以零的情况下引入新的变量。在这种情况下，QF_NRA仍然是可判定的。
浏览 2提问于2016-10-21得票数 2
回答已采纳
L={：M(x)是一个运行时间为100\x_2+ 200}的图灵机。
我觉得我很难判断但我解决不了这个问题。请帮我证明一下。谢谢!
浏览 2提问于2022-03-28得票数 0
如果G是上下文无关语言，那么L(G) = (sigma) *是可判定的还是不可判定的？我从哪里得到这个问题的来源是，答案是undecidable...but，我认为它是可决定的，因为:由于sigma *是无限的(如果我错了，请纠正我)，并且上下文无关语言的无穷性是可决定的，所以上述是无限上下文无关语言，我认为它是可决定的……
浏览 0提问于2019-12-06得票数 1
IP地址140.143.157.254 是腾讯云 地址，以下是网站日志记录
#Version: 1.0
#Date: 2018-09-13 18:59:41
#Fields: date time s-ip cs-method cs-uri-stem cs-uri-query s-port cs-username c-ip cs(User-Agent) sc-status sc-substatus sc-win32-status time-taken
2018-09-13 18:59:41 192.168.111.25 POST /vendor/phpunit/phpunit/src/Util/
浏览 1247提问于2018-09-14
2回答
作为安装过程的一部分，我更新了我的app.config文件中的一些值，该文件是以一种帮助用户读取这些值的方式构建和缩进的。它是以区段为单位构建的，每个区段是一个XElement，每个值是一个XAttribute。
以下是以下各节的示例：
<DataAccessSection
DataMappingFile = "Data\Mapping.xml"
SchemaKeyWord = "[generated]"
/>
<ServiceManagementSection
ServerName = "dummy"
Serv
浏览 2提问于2012-09-10得票数 3
回答已采纳
1回答
我正在编写一个供excel使用的xml文件。
excel需要以下内容：
<Cell><Data ss:Type="Number">25</Data></Cell>
我正在写这篇文章。
<Cell>
<Data ss:Type="Number">25</Data>
</Cell>
我知道EXCEL很挑剔，但既然我使用的是XElelments，那么如何控制输出的格式呢？
下面是我编写单元格的代码。
foreach( var propertyInfo in fi )
浏览 0提问于2009-12-11得票数 1
回答已采纳
1回答
我想要对一个概念进行一些澄清。为了证明一个问题是NP完全的，我们使用约简。
现在假设我有L<=L‘。是否可以从L到L‘，或者我也可以以相反的方式进行？即，如果L‘可以用L’求解，那么L‘是NP-完全的？
我对此感到相当困惑。
例如。对于从ham循环到ham path的简化，我们采用向后的方式。
此外，我也不能解决这个问题，我必须证明“在一个至少有k条边的图中，是否有一条从s到t的路径”。
请给我一个澄清，并指导我解决上述问题。谢谢
浏览 8提问于2012-11-19得票数 0
我正在尝试使用pg-promise版本9.2.1执行此查询，并与Postgres 9.5进行通信 当我通过psql命令行界面或Postico运行它时，下面的所有查询都可以工作，但当我从pg-promise运行它时，它就不能工作了。 我从这个查询开始(我知道，使用pg关键字作为字段是不好的，但这是为了遗留问题)： await db.many(
`SELECT * FROM "${schemaName}".versions
UNION
SELECT * FROM "${schemaName}".z_transfer_metadata
UNION
S
浏览 91提问于2019-09-27得票数 0
回答已采纳
字母表{1}*上的可识别但不可判定的语言的示例是什么？
我很难找到这样的例子。经过长时间的寻找，我仍然对答案很好奇。
一个提示将非常受欢迎。
浏览 1提问于2012-12-03得票数 7
3回答
我对asp.net MVC4 javascript包有问题。一切都在正常工作，但js代码只是最小化，而不是混淆。在.NET中有什么我可以做的吗?还是我应该回到我自己的基于YUI压缩机的捆绑和小型化系统？
浏览 5提问于2013-09-04得票数 3
回答已采纳
1回答
一阶逻辑的有效命题片段通常被定义为∃X.∀Y.Φ(X,Y)形式的企业家量化公式集，其中X和Y是(可能是空的)变量序列。量化的顺序，即∃*∀*，是否关系到EPR的可判定性？如果转换量化顺序，我们是否失去了决策能力？
特别是，我对在可判定逻辑中捕获集一元绑定操作的语义感兴趣。set -monad的绑定操作作为T1类型元素的集合S1 (即S1有类型T1 Set)和T1 -> T2 Set类型的函数f，通过对S1的每个元素应用f，并将结果集统一起来，构造了一个新的T2 Set类型的集合S2。此行为可以在以下SMT-LIB代码/公式中捕获：
(declare-sort T1)
(declare-s
浏览 5提问于2017-09-12得票数 3
回答已采纳
1回答
考虑一下语言
考虑语言Aabb = {< M>|M是TM，并且M接受abb} a)由Aabb表示的计算问题是什么？b)表明Aabb是不可决定的。
我试着证明这一点，但不知道该怎么做。
浏览 3提问于2019-12-12得票数 1
我的模特班：
public class Person
{
[DataType(DataType.Currency)]
public decimal Salary { get; set; }
}
我的控制器
public class PersonController : Controller
{
public ActionResult Create()
{
var person = new Person();
person.Salary = 100; // setting default value
return
浏览 2提问于2013-12-13得票数 3
回答已采纳
我对哈斯克尔很陌生，只是玩了一会儿。
我编写了一个轻量级的OOP仿真：
--OOP.hs
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, UndecidableInstances, ScopedTypeVariables, FunctionalDependencies #-}
module OOP where
class Provides obj iface where
provide::obj->iface
(#>)::obj->(iface->a)->a
o #>
浏览 1提问于2014-01-19得票数 5
回答已采纳
1回答
我正在试着解决这个问题。希望有人能帮上忙。
假设我们有一个名为Confusion的程序；
Program confusion
if(Virus-Finder(Confusion) = false) then
infect-executable
else
halt
End program confusion
显然这是伪代码，所以不会运行。
对于任何程序P，我们可以运行Virus-Finder(P)，如果是病毒，则结果为True，如果不是，则结果为False。
infect-executable是一个模块，它扫描内存中的可执行程序，并在这些可执行程序中复制程序Confusion。
我们
浏览 5提问于2015-05-06得票数 0
我正在自学如何在工作SharePoint环境中灵活地使用jQuery。我已经将这个文件添加到SharePoint中的正确目标位置(一切似乎都正常)，但我仍然在Sublime Text 3中显示一些奇怪的高亮显示。
附件是ST3中的代码图像：
我在源码#2上的语法正确吗？我真的不想错过任何东西，尽管这只是一小段代码(请原谅我在文章中的语法，因为我还在掌握它的诀窍)
<script src = "https://mysite/teams/spe/Style%20Library/tts/jquery-3.3.1.min.js"></script>
浏览 1提问于2018-05-11得票数 2
Nautilus通过FTP连接到远程服务器。然后，我在Visual Studio代码中打开所需的文件夹。文件夹将正确打开。IDE接收整个目录结构和文件。
ftp://admin@91.225.136.204/www/example.com/
我打开我需要的文件。它将正确打开- IDE接收到文件的内容。
它正确地创建了一个新文件。
我正在对文件进行更改。保存下来。然后集成开发环境给出一个错误“无法保存”test.txt "：发生系统错误(ESPIPE:无效寻道，写入)“。
同时，一个类似的动作也会在相同的文件中引起Sublime文本错误。
浏览 19提问于2016-08-17得票数 0
回答已采纳
1回答
我正在节点中开始一些学习项目，并且在节点查找已安装的模块方面遇到了问题。
我在一个项目的根目录中安装了一个模块，如下所示：
C:\Users\Dean\Documents\NodeProjects\ReadWords
其中有我的node_modules文件夹和readwords.js文件，我将运行这些文件来调用模块。
censorify-deanmau5文件夹在node_modules中，在那里，我的各种模块文件。
readwords.js在第1行
var censorify = require('censorify-deanmau5');
在控制台中，当我尝试运行该文件时，我
浏览 1提问于2014-11-09得票数 0
回答已采纳
你好，我正在尝试从教程中的gulp文件运行一项任务：
var gulp = require('gulp'),
concat = require('gulp-concat'),
cssmin = require('gulp-cssmin'),
uglify = require('gulp-uglify');
var paths = {
webroot: "./wwwroot/"
};
paths.bootstrapCss = "./bower_components/boot
浏览 0提问于2016-03-21得票数 1
我正在研究图灵机，我已经展示了图灵-决策是如何关闭的联合，交叉，连接，补码和克莱恩星的操作。接下来，我做了一些演示，展示了T-可识别语言是如何关闭的联合，十字路口，级联和克莱恩星。
现在我试着回答一个问题来说明为什么T-可识别语言的类别不是为了互补而关闭的，但我无法理解。有人能解释一下吗？
谢谢
浏览 0提问于2013-04-07得票数 0
3回答
我想写一个程序，检查一个函数，比如f，是否对其输入的所有值都暂停。简而言之-
haltChecker = function (arg) => bool
例如在JavaScript中，
bool haltChecker ( f(a) ){
return {f halts for all values of a};
}
JS中的解决方案不是必需的，任何语言都可以。
谢谢。
浏览 1提问于2011-12-14得票数 0
回答已采纳
我正在读一篇关于Haskell和HList是如何实现的研究论文，我想知道所描述的技术对于类型检查器来说是可决定的还是不可决定的。另外，因为您可以使用GADT做类似的事情，所以我想知道GADT类型检查是否总是可决定的。
如果你有的话，我更喜欢引用，这样我就可以阅读/理解解释。
谢谢!
浏览 0提问于2008-09-07得票数 16
回答已采纳
1回答
我必须证明语言L= {< M >：|L(M)| <= 2016}不是半可判定的。现在我想这样做：
以随机字母E为例，现在E中有无限个单词，我们只能通过将E*中的每个单词作为输入传递给M来得出|L(M)| <= 2016。但是因为有无限数量的单词，这意味着我们必须将输入传递给M无限次。但这意味着执行这些检查的图灵机结束于无限循环，因此永远不会返回、接受或拒绝它的输入。因此，语言L不是半定的。
但我认为这可能还不够正式？主要是因为我只是假设检查这种语言的图灵机会让M在E*中的每个单词上运行。这个假设是有效的吗，或者我应该更正式地这么说？
浏览 25提问于2017-05-28得票数 0
2回答
我目前正在编写一个XML写入器/读取器。我让它写入xml文件，现在我正在尝试从它读取。但是，当我这样做时，抛出了以下错误，并且我不确定原因：
'>' is an unexpected token. The expected token is '='. Line 6, position 16. XML reader c#
有没有人能帮我解释一下？
XML文件：
<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<assign
浏览 0提问于2015-02-11得票数 3
我正在尝试用sci-kit learn LDA分类器绘制决策边界。
我知道您可以使用transform方法转换多变量数据，将数据投影到第一个分量行(两个类的情况)。如何获取作为分类轴心的第一个组件的值？这就是，作为决策边界的值？
谢谢!
浏览 0提问于2013-03-15得票数 2
1回答
现在，我有一个输入和两个复选框，它们将把一个变量返回给python后端。我希望这两个复选框的默认值为false，如果选中它们，则返回true。我想我的问题是，当我使用序列化程序时，如果两个复选框未选中，我无法从这两个复选框中获得值。如果复选框被选中，我的代码将正常工作，并且该值将保存在模型中。如果不是，我会得到一个错误
html
<input type="text" ng-model="var.name">
<input ng-model="var.pem" type="checkbox">
<inp
浏览 1提问于2017-08-12得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
