图灵机是一种理想化的计算模型，包括有限状态控制，无限磁带保持信息和位于磁带上某处的读磁头。图灵机在可计算性理论中用于推理计算的限制，为算法提供形式定义，并为非确定性提供形式化模型。
是否有可能（如下图所示），对于图灵机带子中给定数量的连续 1，生成给定模式的斐波那契数列：（下图代表斐波那契数列...
给定一个一元数 (0 = 1, 1 = 11, 2 = 111, 3 = 1111, ...)，在其后面留一个空白符号，并写出同一数的二进制表示形式 (0 = 0 , 1 = 1, 2 = 10, 3 = 11, 4 = 100, ...)...
我正在看这个任务： 画出决定语言的两带非确定性图灵机 M 的图 𝐿 = { 𝑤 ∈ Σ* | 𝑤 = 𝑢*𝑢*, 𝑢 ∈ Σ* } 构建...的步骤有哪些
图灵机根据规则表操纵无限条带上的符号。 就我而言，磁带上的条目可以是 0 和 1（二进制）。 磁带从“空”开始......
我需要为 Z =(Xi + Ki)mod 2 但我完全迷失了创建一个以 2 为模的图灵机。X 和 K 是二进制输入，其中 i 是...的长度
我有这个问题： 考虑一个图灵机 Cw，它擦除其输入，在磁带上写入 w，并在扫描 w 最左边的字符时停止。设计图灵机 C011 我需要
O(n*log(n)) 图灵机，只有 1 个磁带才能实现“给定单词中 a 和 b 的数量相等”？
我需要用 1 个磁带来构建一个 TM，用于语言 L = {w| w是其中a和b的数量相同的单词}，例如：abba和aabbabb在L中。 TM 必须只有 1 个磁带，而且它...
决定 {0^2^n; 的图灵机； n>0} 这不是普遍接受的
我们被要求创建一个接受 {0^(2^n); 的图灵机； n>0} 这不是 Michael Sipser 发表的普遍接受的结果。 相反，我们被要求为
我遇到了这个问题： 输入时给出 9 位二进制代码，我们必须在输出中打印“0” 如果值为“1”的位数少于两倍 具有值的位 &
为 { 0 ^ (3 ^ n) | 构建枚举器（打印机） n >=0} 最多有 10 个状态，包括打印和停止，有限的字母表？
我的任务是为语言 {0 ^ (3 ^ n) | 构建一个枚举器（一种图灵机，它也可以打印到输出磁带并通过进入打印状态来输出）。 n >= 0} 其中： 1) 数量...
我无法概念化如何开始解决这个问题。 我能够创建一个图灵机，将两个一元数和两个二进制数相加。 我对如何解决这个问题有了大致的了解
我无法概念化如何开始解决这个问题。 我能够创建一个图灵机，将两个一元数和两个二进制数相加。 我大致了解如何解决...
我一直在尝试制作一个识别该语言的图灵机图： {（ab）^n（ba）^n | n>0} 如何为上述语言构建图灵机图？
嘿，正如标题所说，我正在尝试创建一台将 2 个 2 位二进制数相加的图灵机。 到目前为止，我设法使其适用于 10 + 01 的情况，但我无法使其适用于所有 num...
我有一个模块的作业： 为这种语言制作一个图灵机： {𝑤 ∈ {𝑎,𝑏}* | 2(𝑤中𝑎的数量) = 3(𝑤中𝑏的数量)}。 如何确保维持该比例？我可以看到...
我正在创建一台图灵机，它使用 300 步限制内的一元表示来计算两个数字的乘法。例如 2 * 3 为 110111，输出为 111111。3 * 5 为 11101...
构造一个图灵机，删除每隔一个输入符号，然后将剩余的字符串合并成一个没有空格的字符串
示例输入：010101，输出：000 示例输入：10011，输出：101 示例输入：11101101，输出：1110 在为这个问题绘制状态图时，我对如何合并输入感到困惑......
我正在尝试使用图灵模拟来编写，因此形式为： 0 1 * r 0 0 0 * r 0 0 # * * 3 0 x * r 0 0 y * r 0 ...采用由“">”分隔的两个二进制值的程序...