TOC: дополнение рекурсивно перечислимых языков
Существует ли какой-либо один случай, когда дополнение рекурсивно перечислимого также рекурсивно перечислимо?
Или это никогда не будет рекурсивно перечислимым.
Существует ли какой-либо один случай, когда дополнение рекурсивно перечислимого также рекурсивно перечислимо?
Или это никогда не будет рекурсивно перечислимым.