theory 相关问题

编程语言无关的问题关注理论方面而不是实际实现。

构建非确定性图灵机

我正在看这个任务: 画出决定语言的两带非确定性图灵机 M 的图 𝐿 = { 𝑤 ∈ Σ* | 𝑤 = 𝑢*𝑢*, 𝑢 ∈ Σ* } 构建...的步骤有哪些

回答 1 投票 0

函数 f 的正式定义:Q → Q

给出函数的正式定义 f : Q → Q 是单射但不是满射,或者证明为什么不存在这样的函数。

回答 2 投票 0

计算大量数据(4000+)的排名,这些数据根据所选的日期范围和排序依据而变化

我有一大组数据,4000行+。每行都与每天收集的指标数据相关联。指标表超过 110 万行。 例如: 项目表: ID 物品 1 你好 2 世界...

回答 1 投票 0

如何使用具有 epsilon 的语法在 SLR(1) 解析器中解析输入字符串?

这是我的语法: S → (S)S | ε 而我的输入字符串,我想使用 SLR(1) 进行解析: ()() 我尝试使用此问题中指定的方法制作 DFA,但无法解析它:( 单反(1)

回答 1 投票 0

这些简单问题的正确有限自动机图?

您好,我正在学习有限自动机,我想看看这些图表和我的解释是否有意义。 {w ∈ Σ* | w 包含子串 1010} 使用五种状态 有 10 的子串...

回答 1 投票 0

节点如何加入分布式哈希表(DHT)集群?

我正在尝试了解分布式哈希表(DHT)范例,因为它适合 P2P 或完全分布式计算架构。从理论角度来看,一旦集群建立起来,...

回答 4 投票 0

使用 cytoscape 分配节点坐标

我有一个1000点的文本文件。有 4 列 [“x”“y”“属性 1”“属性 2”]。首先,我想创建每个节点都有一个 (x,y) 对,但我找不到正确的方法来实现它

回答 1 投票 0

getElementById 与 getElementsByClassName 和 getElementsByTagName。为什么命名不一样?

出于好奇,为什么 getElementById() 方法的命名与 getElementsByClassName() 和 getElementsByTagName() 不同?也就是说,为什么它不包含“名字”这个词?

回答 0 投票 0

计算机科学理论 - 状态图 NFA

1.49 定理 -1.6a 使用定理 1.49 证明中的构造给出识别所描述语言之星的 NFA 的状态图。为 1.6a 和 1.6k 制作一个 -1.6a prob_1_6a =...

回答 1 投票 0

如何检查有向图是否是无环图?

如何检查有向图是否是无环图?以及该算法是如何调用的?我希望能提供参考。

回答 12 投票 0

此常规语言的标签正确吗?

所以我是一名计算机科学新手,希望得到社区的帮助来帮助我理解这个主题。 我有这个常规语言,我试图从中确定 3 件事

回答 1 投票 0

NFA 代表语言之星 (01 U 001 U 010)*

本 pdf 第 5 页的问题。 提供一个识别该语言的 NFA (01 U 001 U 010)* 我认为这是错误的,因为应该有一个额外的开始状态(接受)进入状态 1 fo...

回答 1 投票 0

为常规语言泵送引理证明

问题在这里 在这个问题中,您必须决定是否可以使用字符串来证明语言不规则,而不是用泵引理证明语言不规则。 我是...

回答 1 投票 0

编程范式初学者

简单的理论问题。 我在 PHP 和 Javascript 方面有几年的经验,尝试扩展到其他语言并将我的经验与一些理论联系起来。 一直在阅读有关

回答 2 投票 0

这两个数据库查询在代数上相同吗?

我试图从理论/布尔代数/关系微积分的角度弄清楚这两个查询在逻辑上是否相同。 我有一个 OR 查询运行不佳(即成本......

回答 2 投票 0

证明停止问题是NP困难的?

在回答有关 NP、NP-hard 和 NP-complete 定义的问题时,Jason 声称: 停机问题是典型的 NP 难问题。这是给出

回答 2 投票 0

Eugene W. Myers 的 diff 算法在 lcs(»xx«, »x«) 上失败?

我实现了两个 Myers 版本的 diff 算法,第一个是贪婪算法(它有效,但在内存消耗方面是高度资源密集型的 - 但 Myers 在他的论文中写道

回答 1 投票 0

过滤的最佳方法

我有一个实体列表(个人资料) 我有另一个实体列表(openapis) 每个 openapi 可以由多个配置文件指向 例如:openapis:“Alpha”、“Beta” 简介: 简介...

回答 1 投票 0

Nodejs 可读流与 array.map

在学习流时,提供了以下示例: const data = ['一些', '数据', '到', '读取'] const { 可读 } = require('stream') const 可读 = Readable.from(data) 可读.on(...

回答 1 投票 0

使用多个源线性化 DAG

我正在看我的算法书,我发现有一个简单的算法可以通过逐个删除源节点来线性化单个源有向无环图。有人能给我举个例子吗...

回答 3 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.