可计算同构

可计算同构（computably isomorphic），计算机科学技术名词，给定 A，BN，N是自然数集，如果存在可计算置换 p 使对一切 x，x∈A 当且仅当 p(x)∈B ，则称 A 可计算同构于 B 。