证明以下问题无法通过停止问题的约简来判定:
作者:Suleyman Kiani 提问时间:4/17/2023
证明以下问题无法通过停止问题的约简来判定: “给定的图灵机 M 是否接受 k ≥ 1 的任何形式为 a^2k 的字符串?” 我很难理解停止问题减少背后的直觉,有人可以直观且易于理解地解释为什么会这...
理论 问答列表
作者:Suleyman Kiani 提问时间:4/17/2023
证明以下问题无法通过停止问题的约简来判定: “给定的图灵机 M 是否接受 k ≥ 1 的任何形式为 a^2k 的字符串?” 我很难理解停止问题减少背后的直觉,有人可以直观且易于理解地解释为什么会这...
作者:TryingMyBest 提问时间:3/7/2023
LL(1) 解析 考虑以下没有无用变量的上下文无关语法: A -> CB B -> BBCoo B -> λ C -> c 起始变量为 A。 这个任务是关于 LL(1) 解析的。确定以下内容:...
作者:melson 提问时间:12/2/2022
举个例子, 我们有两种算法,它们使用相同的数据集以及相同的训练和测试数据: 1 - 使用 k-NN 并返回精度; 2 - 在 k-NN 之前应用预处理,并在返回精度之前添加更多内容。 尽管预处...
作者:Jake Pillandfall 提问时间:4/30/2011
只是简单的简化遇到了一些问题。我正在对具有 3 个输入 A、B 和 C 的多数解码器进行简化。如果 2 个或所有 3 个输入都假定为 1,则其输出 Y 假定为 1。否则,Y 假定为 0。选择正确的开关...
作者:Dmitry L. 提问时间:10/26/2021
我正在读一本名为“从数学到通用编程”的书,作者是 Alexander A. Stepanov 和 Daniel E. Rose,第二章包含对埃及乘法算法的描述。其复杂性描述为 。一般来说,这是完全可以...
作者:akbiggs 提问时间:11/5/2013
Haskell Typeclassopedia 第 3.2 节的练习 5 要求对语句进行证明或反例 两个函子的组成也是一个函子。 起初我以为这是在谈论由两个单独的实例定义的方法,但这并没有真正的意...
作者:CiaranWelsh 提问时间:8/10/2021
我正在测试我对复杂性的理解,并想验证我的答案。 我在两个相同类型的容器之间有一个相等运算符。我的算法遍历 (aka ) 并测试 中的项目包含。随后,该算法遍历 和 测试(又名 )中的项目包含。在任何...
作者:anony_std 提问时间:10/1/2020
这是我几天来一直试图理解并最终解决的作业问题。到目前为止,我还没有成功。因此,任何指导、帮助理解或解决问题都是值得赞赏的。 系统将为您提供一组针对布尔变量的约束 {x1, x2, ..., xn}。...
作者:cnu 提问时间:8/22/2008
我在任何地方都没有得到这个问题的答案。正则表达式匹配和替换的运行时复杂性是多少? 编辑:我在python中工作。但想大致了解最流行的语言/工具(java、perl、sed)。...
作者:Nick 提问时间:1/27/2020
您需要多少个字节(以及多少位)来表示数字 99999999 ? 我需要知道这一点:我们有一个计算器,最简单的计算器,最多可容纳 8 位数字,即从 0 到 99999999(让我们忘记否定,除非您觉得可...