¹Kornai 2002 gives an interesting argument against this assumption, based on empirical facts about statistical properties of text: English text exhibits properties that are best modelled in terms of an infinite word stock. But for the sake of the present argument we continue under the usual formal language theory assumption of a finite terminal vocabulary.