turing-machines

turing-machines

文章 0 浏览 5

无寄存器机器中的多线程上下文切换

据我所知,多线程上下文切换是由操作系统抢占式发起的,从线程的角度来说是透明的。通常,当上下文切换时,操作系统会保存所有寄存器值,并在稍后切换…

℡Ms空城旧梦 2025-01-11 19:21:10 0 0

图灵机的 C 语言实现

我正在为形式语言理论课程学习图灵机,教授建议运行以下算法 详细查看“TM”背后的逻辑,但不起作用,当尝试编译时告诉我以下错误。 C:\Documents and…

黎歌 2025-01-03 15:46:42 1 0

这种语言是可判定的吗?

我正在努力解决这是否是可判定的: A = {x 是自然数集的元素 |对于每个大于x的y,2y是两个素数的和} 我倾向于认为这是可以判定的,因为当输入图灵机时…

意犹 2024-12-29 02:31:20 2 0

证明一种语言在 NP/EXPTIME/Turing 决策器/图灵可识别中(cs 理论)

通过练习测试来准备我的计算机科学理论考试。在这个问题中,我需要说明语言属于哪个“区域”(RL/DFSA/NFSA)/(CFG/CFL/NPDA)/(NP)/(EXPTIME)/(DL/DTM/N…

失退 2024-12-20 06:44:35 2 0

如何判断一种语言是否属于NP?

例如,我知道语言 CFL 的泵引理不是上下文无关的,但我如何证明它属于 NP 而不是实验值。时间,可判定的语言,还是图灵可识别的? 编辑:做了一些挖掘…

绝不放开 2024-12-19 22:06:58 2 0

具有非确定性图灵机的上下文相关语言

我怎样才能证明一种语言对于非确定性图灵机是上下文敏感的? 我知道线性界限自动机(LBA)接受的语言是上下文相关的语言。 LBA 是一种非确定性图灵机…

聊慰 2024-12-18 19:53:06 1 0

平方根计算图灵机

我想我已经接近这个答案了,但仍然要确认我们可以创建一个图灵机(至少在原理上)它可以进行实数计算并给出准确的结果吗?**例如求整数的平方根。 (…

厌味 2024-12-18 02:44:23 3 0

构造一个图灵机来决定 ww^Rw

w^R 是 w 的逆,w 是 {0, 1}* 。因此,TM 需要决定一个单词,然后是该单词的反义词,然后是该单词。 我不想要答案,我只想要一个开始并走上正确轨道的…

何必那么矫情 2024-12-07 10:49:32 2 0

DFA、NFA、PDA 和图灵机的现实应用

我现在正在学习计算理论课程。我可以很好地理解这些概念。我能够解决问题。而且,当我向我的导师询问现实世界的应用程序时,他告诉我这些概念在编译器…

妥活 2024-12-05 01:56:12 3 0

输入字符串如何在磁带中表示?

我知道在图灵机中,(不同的)磁带用于输入和输出以及堆栈。在使用图灵机添加 2 个数字的问题中,输入要处理许多符号,例如 1,0,B(空白),+。 (虽然这…

提笔书几行 2024-12-04 08:26:46 3 0

图灵机是一个真实的设备还是一个虚构的概念?

当我研究图灵机和PDA时,我认为第一个计算设备是图灵机。 因此,我认为存在一种称为图灵机的实用机器,它的状态可以用一些特殊设备(比如触发器)来表…

梦太阳 2024-12-04 00:08:23 4 0

图灵机的时间复杂度与空间复杂度

我认为图灵机的时间复杂度和空间复杂度的定义是相同的,我无法区分 他们之间。 请帮我。谢谢。…

蓬勃野心 2024-11-30 18:43:51 6 0

不确定性算法

我需要非确定性算法的简单描述。我们可以将非确定性算法与具有并行处理器的计算机进行比较吗? 请有人准确地向我解释一下非确定性算法…

年少掌心 2024-11-30 08:41:21 3 0

有在线/独立的计算机模拟器/演示程序吗?

我希望能够让学生了解现代计算机内程序执行期间确切发生了什么 - 例如内存地址、引用、堆栈、堆等的使用。 理想情况下,我希望他们能够玩某种演示,其…

国际总奸 2024-11-17 11:38:31 6 0

星巴克菜单图灵完备吗?

如果我们将星巴克的迷你语言菜单系统解释为某种语法或状态机,那么该语法是图灵完备的吗?可以在此处找到星巴克订单迷你语言的说明…

寄与心 2024-11-16 08:37:28 6 0
更多

推荐作者

qq_2gSKZM

文章 0 评论 0

∞梦里开花

文章 0 评论 0

qq_IklFPL

文章 0 评论 0

迷途知返

文章 0 评论 0

深海不蓝

文章 0 评论 0

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