图灵机是一种理想化的计算模型，包括有限状态控制，无限磁带保持信息和位于磁带上某处的读磁头。图灵机在可计算性理论中用于推理计算的限制，为算法提供形式定义，并为非确定性提供形式化模型。
我正在尝试使用Lean 4将停止问题简化为双曲几何，以证明双曲几何的不可判定性，遇到图灵机对角化的问题，a...
如何定义普通马尔可夫算法（NMA）来交换由符号“^”分隔的两个三进制数？
我正在尝试在模拟器中编写一个普通的马尔可夫算法来交换由符号“^”分隔的两个三进制数。例如，对于输入“120^210”，结果应为“...
我花了整整一个月的时间来解决这个问题，因为我是从练习一书中得到的，我很想知道如何在图灵机中编写这个问题；我真的很想学这个。请配合...
如何设计一个识别语言 { $aⁿbᵐ: m ≥ 2n } 的图灵机？
有很多关于如何执行 anbm: m>=0 的例子，但不是这个。 现在我明白，对于每个 a，磁带上都必须至少标记出两个 b。更难倒我的是m是g...
我正在从事以下项目： 设计一个执行二进制数递增操作的图灵机。假设您有一个二进制数 𝑛。最初，磁带有...
问题图片 目前，我正在尝试研究图灵机。它应该采用序列 k, x1, x2,...。 。 。 , xn 其中 k 是正整数，对于每个 i，xi 是非负整数，如...
我正在开发一个软件，可以从正则表达式生成图灵机。换句话说，我想将正则表达式作为输入，并以编程方式生成图灵机以...
我有一个字符序列 xxxxxx （其中 xk 和 k > 0） 我的目标是将这句话转化为荷兰国旗，也就是说： xxx -> RWB xxxx -> RWBB xxxxx -> RWWBB xxxxxx -> ...
我正在尝试设计一个图灵机，它将由字母表符号 Σ = {𝑎, 𝑏} 组成的单词作为输入，并以二进制计数符号 𝑎 的出现次数和符号 𝑏 的出现次数.. ..
我正在尝试设计一个图灵机，它将形成的单词作为输入 通过字母表符号 Σ = {a, b} 并以二进制计数符号 a 和 符号 b 的出现次数...
我得到的指示是“创建一个图灵机来识别 0^n1^n2^n 形式的字符串。这意味着，如果字符串的形式正确，图灵机就会停止在空白磁带上。 ..
我需要帮助设计一个图灵机来计算以下 f(x,y) = x*y mod 4。如何在 $x$ 和 $y$ 有两位的二进制基数中解决这个问题？
我是NDTM新手，但我确实了解图灵机的概念。当谈到 NDTM 时，我有点困惑，我应该为语言 {a,b,c} 开发一个 NDTM 并且 L = {w ∈ Σ*| Ǝv ∈ Σ*,...
我正在尝试解决这个挑战： 构造图灵机 𝐿 = { 𝑎𝑛𝑏𝑛𝑐𝑛 | 𝑛≥1 } 我的答案： ^(q1,a)=(X,q2,R) ^(q2,a)=(a,q2,R) ^(q2,b)=(Y,q3,R) ^(q3,b)=(b,q3,R) ^(q3,c)=(Z,q4,L) ^(q4...
我有一种语言： (XF*X|F)* 在字母表上： {X,F} 我怎样才能获得/设计一个图灵机来识别该语言？
我最近遇到了以下问题： 给出图灵机的图灵机图，该图灵机在输入字符串 x ∈ {0, 1}* 时停止（接受），其头位于磁带的左端...
我正在尝试回答以下问题的第三部分： 我画了下面的状态图： 根据解决方案，机器“将 1 与最小
我正在尝试回答以下问题的第三部分： 我画了下面的状态图： 根据解决方案，机器“将 1 与最小
给定图灵机磁带上的多个连续的 1，我想生成一个斐波那契数，如下所示： 输入 预期产出 1 0 11 01 111 011 1111 01111 11111 01111111 111111