计算理论是使用算法处理在计算模型上是否以及如何有效地解决问题的分支。该领域分为三个主要分支：自动机理论，可计算性理论和计算复杂性理论。 [维基百科]
如何仅输出在奇数位置出现的符号，将其他符号在偶数位置删除 我正在寻找一种算法，该算法将删除在奇数位置出现的符号，因此仅将这些符号保持在均匀位置，并将保留的符号连接到一个，不间断的输出Seque ...
在模板元编程中，如果通过产生的无限循环错误地实现了递归，语言编译器可以检测到它吗？还是编译器会遇到最终的堆栈Overflo ...
正则表达式 0(0+1)*0+1(0+1)*1 的 DFA 是多少？
这是我画的DFA- 正确吗？ 我很困惑，因为 q4 状态对于相同的输入符号有 2 个不同的转换，这违反了 DFA 的规则，但我想不出任何其他解决方案。
问题图片 目前，我正在尝试研究图灵机。它应该采用序列 k, x1, x2,...。 。 。 , xn 其中 k 是正整数，对于每个 i，xi 是非负整数，如...
L ={w∈{a,b}*| 的下推自动机w 包含不同数量的 a 和 b}
我一直在尝试为这种语言找到一个下推自动机，但我无法想出任何令人满意的东西。 我尝试了以下逻辑：对于每次读取，将 A 压入堆栈。永远...
在 ~(A & B & C) 中算作 CNF 中的 1 个子句还是 3 个子句？ 使用德摩根定律，我们得到， (~A|~B|~C) 这让我很困惑，因为它分为三个不同的部分。在 CNF 中，这是否意味着...
在 npm 中指定依赖项所需的版本时，我们可以指定版本范围。例如： 1.2.7 || >=1.2.9 <2.0.0 Specification: https://github.com/npm/node-semver?tab=readme-ov-
我读到 RNN 是图灵完备的，但前馈神经网络 (FFN) 不是。 但基于万能逼近定理，FFN 可以在给定足够节点的情况下模拟任何函数，而且我们也知道...
我正在尝试回答以下问题的第三部分： 我画了下面的状态图： 根据解决方案，机器“将 1 与最小
我正在尝试回答以下问题的第三部分： 我画了下面的状态图： 根据解决方案，机器“将 1 与最小
给定图灵机磁带上的多个连续的 1，我想生成一个斐波那契数，如下所示： 输入 预期产出 1 0 11 01 111 011 1111 01111 11111 01111111 111111
是否有可能（如下图所示），对于图灵机带子中给定数量的连续 1，生成给定模式的斐波那契数列：（下图代表斐波那契数列...
为 { 0 ^ (3 ^ n) | 构建枚举器（打印机） n >=0} 最多有 10 个状态，包括打印和停止，有限的字母表？
我的任务是为语言 {0 ^ (3 ^ n) | 构建一个枚举器（一种图灵机，它也可以打印到输出磁带并通过进入打印状态来输出）。 n >= 0} 其中： 1) 数量...
我无法概念化如何开始解决这个问题。 我能够创建一个图灵机，将两个一元数和两个二进制数相加。 我对如何解决这个问题有了大致的了解
我无法概念化如何开始解决这个问题。 我能够创建一个图灵机，将两个一元数和两个二进制数相加。 我大致了解如何解决...
构造一个图灵机，删除每隔一个输入符号，然后将剩余的字符串合并成一个没有空格的字符串
示例输入：010101，输出：000 示例输入：10011，输出：101 示例输入：11101101，输出：1110 在为这个问题绘制状态图时，我对如何合并输入感到困惑......
计算大量数据（4000+）的排名，这些数据根据所选的日期范围和排序依据而变化
我有一大组数据，4000行+。每行都与每天收集的指标数据相关联。指标表超过 110 万行。 例如： 项目表： ID 物品 1 你好 2 世界...
Starlark 配置语言不支持无限循环、递归或用户定义的数据类型，但支持函数。文档表明这意味着该语言不是图灵语言
显示语法。 S->aS|aSbS|Ɛ 是有歧义的，求无歧义语法
我有这个问题： 显示语法。 S->aS|aSbS|Ɛ 是有歧义的，求无歧义语法。 我尝试从互联网上学习任何有关歧义语法的知识，但大多数......