可判定性

图灵·停机问题的不可判定性

停机问题的不可判定性：不存在一个图灵机可以判定任意图灵机在所有输入上是不是停机。在现代编程语言（这个语言是图灵完备的）的表现就是，没有一个程序可以判断所有程序是否能在有限时间结束。
lifallen·2024-02-20 00:16

【计算理论】05 可判定性

文章目录概述DFA可判定性ADFAA_{DFA}ADFA是可判定的ANFA,AREXA_{NFA},A_{REX}ANFA,AREX是可判定的EDFAE_{DFA}EDFA是可判定的EQDFAEQ_{DFA
Recitative·2023-12-25 03:18

细胞机器人系统中的群体智能

对不可预测性概念的分析与（1）统计不可预测、（2）不可访问、（3）不可判定性、（4）难处理和（5）不可表示有关。
岳野·2023-09-30 14:04

可判定性

5.1.1与正则语言相关的可判定性问题检测一个有穷自动机是否接受一个串；一个有穷自动机的语言是否为空；两个有穷自动机是否等价。DFA接受问题：定理5.1是一个可判定语言。
WILL_HUNTING·2023-03-10 16:21

计算理论期末整理

计算理论期末整理1.绪论2.正则语言2.1定义2.2有穷自动机2.3泵引理2.4例题3.上下文无关文法CFG3.1定义3.2下推自动机PDA3.3例题4.图灵机4.1定义4.2例题5.可判定性5.1定义
七星元·2023-02-22 07:19

＜2＞计算机科学概论的学习 ＜12＞关于图灵

阿计算机之父——图灵图灵机为了解决“可判定性问题“，图灵提出了图灵机。图灵机是指一个抽象的机器（抽象的计算模型），它有一条无限长的纸带，纸带分成了一个一个的小方格，每个方格有不同的颜色。
one_12138·2023-01-05 19:12

有穷自动机

ADFA的可判定性ProblemdescriptionADFA={|B是DFA，w是串，B接收w}证明：ADFA是可判定的。实验方法:编写一个算法/程序，对于任意给定的输入，可以判定ADFA。
zwxhnu·2020-09-16 00:15

哈工大2019年春形式语言与自动机期末复习

有限状态机、文法，下推自动机形式语言：经数学定义的语言课程内容：正则语言：有穷自动机、正则表达式、正则语言的性质上下文无关语言：上下文无关文法、下推自动机、上下文无关语言的性质计算导论：图灵机及其拓展、不可判定性
何人听我楚狂声·2020-08-04 11:20

机器学习：软件漏洞分析

SoftwareVulnerabilityAnalysisandDiscoveryUsingMachine-LearningandData-MiningTechniques:ASurvey摘要keyword引言背景：软件漏洞分析与挖掘软件漏洞的定义可靠性、完备性和不可判定性传统方法机器学习和数据挖掘技术希望与担忧方法分类基于软件度量的脆弱性预测异常检测方法易受攻击代码模式识别其他方法基于机器学习和
明远AI·2020-07-14 02:08

停机问题的定义和证明

显然任意有限S是可判定性的，可数的(countable)S也是可停机的，在使用oracle输入的帮助下。通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在
NGram·2020-07-10 23:11

图灵机停机问题的不可判定性

证明一：参考链接：TuringMachineHaltingProblem为了证明这个问题的不可判定性，我们将基于莱斯定理(Rice’sTheorem)将其规约成另外的问题来判定某个图灵机是
Zyj061·2020-07-04 09:01

现代软件工程系列 学生读后感 梦断代码 SpringGreen

其实整本书就是讲图灵机的不可判定性————软件开发过程中，很多过程都不知道什么时候能不能结束，甚至说能不能做出来，这导致整个软件工程不能够停止，这不是暗合了“停机问题”？
SoftwareTeacher·2020-07-01 13:36

测试用例的设计基本原则

2、测试结果的可判定性：即测试执行结果的正确性是可判定的，每一个测试用例都应有相应的期望结果。3、测试结果的可再现性：即对同样的测试用例，系统的执行结果应当是相同的。
skyxmstar·2020-06-26 12:11

形式语言与自动机——第四章 图灵机

转移符号5图灵机的语言6图灵机的变形6.1状态中存储6.2多道6.3半无穷带图灵机6.4多带图灵机6.5非确定图灵机(NTM)图灵机构造技术1带有存储功能的图灵机2多道机3核对符（带有核对功能的图灵机）不可判定性
swallowblank·2020-06-02 10:42

23营销实践

模糊是一种美，如同团长的模糊洞察……希尔伯特计划：1，将数学语言系统化，确保绝对清楚的逻辑，即完成一套“证明”数学的数学；2，在此基础上证明整个数学大厦是完整的，即数学命题应兼具完备性、一致性和可判定性
马唐·2020-03-30 14:56

Lambda 学习笔记

历史莱布尼茨曾有过以下两个想法：创造一门‘形式语言’，来描述所有可能的问题找到一种方法，可以解决所有该形式语言描述的问题第二个问题被称为Entscheidungsproblem（可判定性）。
BirdEggegg·2020-02-02 19:06

essential of Lambda

essentialofLambda是《Lambda-CalculusandCombinators:AnIntroduction》的摘要版本，提供了lambda部分的内容摘要，实现了一个lambda解释器对例题进行自动解答，最后描述不可判定性
little_wang·2020-01-08 14:20

第 15、16、17 集：阿兰·图灵；软件工程；集成电路与摩尔定律

第15集：阿兰·图灵00:33介绍图灵00:52可判定性问题01:14阿隆佐·丘奇，Lambda算子01:38图灵机04:54停机问题08:09破解德军英格玛加密机10:40图灵测试11:18图灵的个人生活
djch0319·2019-05-19 14:09

第六次分享06.24 测试用例设计之理论&实践-等价类

1.测试用例的定义2.测试用例的用途和目的3.测试用例设计的基本准则代表性、可判定性、可再现性；4.测试用例设计方法（1）等价类划分（2）边界值分析（3）正交试验法（4）错误推测法163注册字母邮箱练习划分等价类
abc123it·2017-06-28 12:56

计算理论中的莱斯定理（Rice's Theorem）——证明与应用

我们给出一个在探讨不可判定性时非常有用的结论——莱斯定理（Rice'sTheorem）。首先，我们来看前面讨论过的几个不可判定的例子：这些都是由图灵机识别之语言的性质。
baimafujinji·2015-12-04 21:00

读《逻辑的引擎》有感

最近看了《逻辑的引擎》，心得写下： （1）计算机的分层理论来自与集合论和系统的不可判定性（不明白为什么，也许是1为什么就是1的问题？
·2015-11-11 18:44

测试用例设计方法

测试用例设计方法 等价类划分方法 边界值分析方法 错误推测方法 因果图方法  测试用例的几条基本准则 测试用例的代表性 测试结果的可判定性 测试结果的可再现性
·2015-10-23 08:10

Part I Week 3：可判定性以及逻辑语言

3.1可判定集合 DecidableSets特征函数(Characteristicfunction,akaindicatorfunction)：设AB，则A关于B的特征函数FA:B→{0,1}定义如下： 对于任意b∈B可判定的(decidable)：A关于B是可判定的，当且仅当A的特征函数是可计算的。判定过程(decisionprocedure)：计算A的特征函数的有效过程【注：A是可判定的当且仅
南无菩提心·2015-07-20 08:36

自学笔记

2、测试结果的可判定性：即测试执行结果的正确性是可判定的，每一个测试用例都应有相应的期望结果。3、测试结果的可再现性：即对同样的测试用例，系统的执行结果应当是相同的。
cometwo·2015-03-28 14:00

实验A---- ADFA的可判定性

ProblemdescriptionADFA={|B是DFA，w是串，B接收w}证明：ADFA是可判定的。实验方法:编写一个算法/程序，对于任意给定的输入，可以判定ADFA。Input有多个测试序列，测试结束于测试文件结束；每个测试序列的第一行为几个正整数nmta分别表示有n个状态，从a开始m个小写字母组成的字符集，第一个状态默认为起始状态。t个接受状态和a个测试串,接下来为一个n行m列的矩阵S,
ITSophia·2015-01-08 19:05

合取范式的可满足性判定算法和谓词逻辑不可判定性

作为本系列的最后一篇文章，我们来看被广为研究的SAT问题。SAT问题是第一个被证明为NP问题的判定问题。更多信息可以去百度或者维基一下。 前面我们看到了Horn公式可满足性的判定算法，现在把它推广到任意公式Φ。首先将公式变换成具有下面语法的等值公式：φ::=p|(¬φ)|(φ∧φ)。变换方法如下（已被证明变换后是等价的）： 在结果T(φ)的语法树中要公共子公式共享，这样将语法树变成一个有向无回路(
somefuture·2014-05-11 17:00

图论之Havel定理 Frogs' Neighborhood (青蛙的邻居)

Havel定理就是图的可判定性。今天刚学的，不多说了，大家google一下就懂了。http://poj.org/problem?
gaotong2055·2013-03-18 17:00

图论之Havel定理 Frogs' Neighborhood (青蛙的邻居)

Havel定理 就是图的可判定性。今天刚学的，不多说了，大家google一下就懂了。 http://poj.org/problem?
从此醉·2013-03-18 17:00

The Church-Turing thesis

可判定性：一个语言L，是一个集合，且其补集为。当L是图灵机可识别时，语言L则称为半可判定。当语言L不是图灵机可识别，则为不可判定语言。当且仅当L和都是图灵机可识别的时候，L才能称为可判定语言。 
·2012-03-12 13:00

Eric Brewer大神

转载自程序员的文章，对于Godel与Brewer的比较太少，虽说有些相似，不过可判定性与CAP的比较我觉得还是山寨了。。。。
paramore·2011-12-21 12:00

测试用例设计原则和模板

2、测试结果的可判定性：即测试执行结果的正确性是可判定的，每一个测试用例都应有相应的期望结果。3、测试结果的可再现性：即对同样的测试用例，系统的执行结果应当是 `相同的。
qileilove·2011-10-11 18:00

可计算性、可判定性和可满足性

源地址：http://blog.sina.com.cn/s/blog_4b700c4c0100j7h9.html研究计算的一般性质的数学理论，也称算法理论或能行性理论。它通过建立计算的数学模型（例如抽象计算机），精确区分哪些是可计算的，哪些是不可计算的。计算的过程就是执行算法的过程。可计算性理论的重要课题之一，是将算法这一直观概念精确化。算法概念精确化的途径很多，其中之一是通过定义抽象计算机，把算
neostar2008·2011-09-16 21:07

现代软件工程系列 学生读后感 梦断代码 SpringGreen

其实整本书就是讲图灵机的不可判定性————软件开发过程中，很多过程都不知道什么时候能不能结束，甚至说能不能做出来，这导致整个软件工程不能够停止，这不是暗合了“停机问题”？
SoftwareTeacher·2010-11-22 19:00

停机问题

显然任意有限S是可判定性的，可数的(countable)S也是可停机的，在使用oracle输入的帮助下。通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个
xiucaijiang·2010-07-02 10:00
上一页 1 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他