computation-theory

computation-theory

文章 0 浏览 3

证明有限字母表上所有语言的集合是不可数的

尝试做一些修改,但不确定这一点: 证明有限字母表上所有语言的集合是不可数的。 我有一种感觉,需要使用 Cantor Diagonalization 方法 - 但我不确定…

锦爱 2024-10-11 11:40:52 6 0

证明因式分解问题 α处于 NP 状态

试图温习计算理论,但不确定解决方案: Prove that the problem of factoring α is in NP. 我有一种感觉,这可能与寻找 NP 问题和找到分解 α 问题的…

写下不归期 2024-10-11 11:39:57 5 0

证明正则语言集合是上下文无关语言集合的真子集

我正在温习(不是家庭作业)一些计算理论,并遇到了这个问题: 如何证明常规语言集是上下文无关语言集的真子集。 现在我知道一种语言是正规的,当且仅…

天冷不及心凉 2024-10-11 01:27:55 5 0

语言的上下文无关语法

我对以下语言有疑问: 我必须编写上下文无关语法: 对其进行了描述。我已经做了一些练习,但这对我来说真的很难。我坐了几个小时却没有找到有用的方法…

墨落成白 2024-10-08 19:46:00 8 0

柯尔莫哥洛夫复杂度

如果有人能够向我解释柯尔莫哥洛夫复杂性如何与随机性和随机输入相关,我将非常感激。 另一件我无法理解的事情 - 我们知道计算给定输入 X 的 Kolmogor…

请别遗忘我 2024-10-07 15:51:40 4 0

了解TM模拟器

我只是在查看图灵机模拟器代码并发现了以下语句 “磁带将时间和位置映射到符号,我们必须提前一步查看机器,如果当时磁头处于要求的位置,则符号。根…

梦回梦里 2024-10-07 15:39:32 9 0

示例问题不在 P 中,也不在 NP 完全中,但在 NP 中

我在大学有一门叫做算法分析的课程,我们目前正在研究不同的复杂性类别——P、NP、NP-hard 等。 我们已经讨论了 NP 完全问题作为 NP 和 NP-hard 之间…

南街女流氓 2024-10-07 12:12:49 7 0

上下文无关语法

是否有一种算法可以根据给定的上下文无关语法生成所有字符串?…

白况 2024-10-04 05:44:23 6 0

可判定性的要点和重要性

如果 TM 识别该语言并进入“接受”或“拒绝”状态,则该语言是可判定的。作为一名开发人员。我认为这很重要,因为这意味着我们可以确定程序是否包含缓…

勿忘初心 2024-09-27 19:03:29 8 0

可证明==可判定吗?

在计算理论中,术语“可证明”和“可判定”可以互换吗?它们的意思是一样的吗? 例如,您经常会看到某件事是否可证明的问题被称为决策问题(Das Entsc…

梦里南柯 2024-09-27 05:52:12 4 0

如何获得DFA交集?

我们如何使用交集法组合两个 dfa ?…

无言温柔 2024-09-06 18:57:58 7 0

为什么这是一个无效的图灵机?

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers. 这个问题似乎与帮助中心中定义的范围内…

小情绪 2024-08-24 18:37:12 12 0

计算理论中的重要主题

Closed. This question is opinion-based. It is not currently accepting answers. 想要改进这个问题?更新问题,以便可以通过编辑这篇文章用事实和…

晚雾 2024-08-23 18:40:21 13 0

其结果仅取决于其参数的函数的名称是什么?

我正在编写一个玩具编译器,如果结果仅取决于参数的值,它可以优化函数调用。因此,像 xor 和 concatenate 这样的函数仅依赖于它们的输入,使用相同的…

仙女山的月亮 2024-08-18 05:10:57 9 0

NFA 到 DFA 的问题

首先,这不是一个要求将 NFA 转换为 DFA 的算法的问题。 众所周知(并已证明),NFA 的等效 DFA 最多具有 2n 个状态,尽管大多数时候它的状态数量或多…

独木成林 2024-08-17 06:30:58 19 0
更多

推荐作者

游缘惊梦

文章 0 评论 0

小兔几

文章 0 评论 0

Glik

文章 0 评论 0

生生漫

文章 0 评论 0

Luxian

文章 0 评论 0

Champion-Ming

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文