3

Does there exist a recursive language $L$ whose cardinality is uncountable?

I would like to have an explanation whether Turing Machine can encode uncountable languages and whether we can use this to reject the initial question.

babou
  • 19,645
  • 43
  • 77
revisingcomplexity
  • 569
  • 1
  • 5
  • 18

1 Answers1

5

Languages are collections of words. Words are finite strings.

As Shaull stated in his comment, every language over a finite alphabet is countable. (In fact, every language over a countable alphabet is also countable.)

Languages of infinite words, sometimes called $\omega$-languages, are considered in computer science. For example, they are the subject of $\omega$-automata theory. But the Turing machine formalism is about the usual notion of language.

babou
  • 19,645
  • 43
  • 77
Yuval Filmus
  • 280,205
  • 27
  • 317
  • 514