海词手机词典
  • There is a language L such that L is not recursive (L is undecidable), yet L and its complement are both recursively enumerable.

    播放读音 播放读音