computer-science - 在计算机科学中,是否存在所有数据表示均相等这一事实的说法?
问题描述
对于编程语言,我们有图灵完备性的概念,它表示只要我们忽略存储介质的容量,所有计算机和所有语言在表示任何算法的能力上都是相同的。数据编码/表示是否有类似的词?
例如,任何数都可以用一元、二元、三元的形式表示。只要所有数据结构在任何给定的 2 个结构 A 和 B 之间具有相同的“数据容量”,就存在函数:
to :: A → B
from :: B → A
哪里from ∘ to == id
。
这对于计算机中存在的任何(上下文不敏感)数据结构显然都是正确的,因为它们实际上都只是位串。但是这个词是什么?
解决方案
从技术上讲,我认为您的意思是指图灵等效性,而不是图灵完备性,这是相似但不相同的东西。至于你的问题:我认为它没有一个通用术语,除了可能说两种编码是等效的。如果您想使用特定的编码作为标准,例如用于编码数字的十进制,如果您说二进制是用于编码数字的十进制等效系统,您就会被理解。
当然,如果您的意思是两个系统不仅在语义上是等价的(它们可以编码相同的东西)而且在语法上是等价的(它们的编码基本上以相同的方式工作),您可以使用同构等术语(意味着一个编码中的每个字符串映射到一个其他编码中的字符串,反之亦然)。
推荐阅读
- shell - 使用 Snakemake 生成报告时出现“没有这样的文件或目录”错误
- ruby - 学习 Ruby 语法的最官方文档或方法是什么?
- javascript - Django:使用 javascript 数组填充表单字段
- spring - Spring Integration JDBC 元数据存储
- c# - EF 代码优先如何使用实体检索导航属性?
- xodus - xodus 并行线程的写入性能?
- reactjs - 基于环境变量的条件导入
- tfs - 实施有序测试后如何解决 TFS DirectoryNotFoundException?
- python - 将值附加到列表列表
- c# - 如何在 C# 控制台应用程序中将修饰符(ctrl、alt、shift)按键捕获为单个按键?