I tried to find out how to arrange the complement of diagonal language, but I failed. So I'm about to believe that it's not a countable language. Could you, please, help me?
Is complement of diagonal language countable?
formal languages;turing machines;automata