Last Updated:2022/12/24
Any recursively enumerable set which is also co-recursively enumerable is a decidable set.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories(0)
Source Sentence
Any recursively enumerable set which is also co-recursively enumerable is a decidable set.