A theoretical model where a system generates an infinite sequence of outputs to eventually cover all members of a target language.