I'm studying my notes for a formal language course and it them it states
The vast majority of languages over a finite alphabet cannot be represented by a finite specification.
I don't understand this. What is meant by "specification"? It then goes on to show why this is true by showing some sets of the alphabet are countably infinite and others are uncountably infinite.