The redundancy of a language