in the definition of a formal language, why do you think it is not more specific about how the collection of strings is determined? That is $,$ why are grammers $($which generate strings$),$ or automata $($which recognize them$),$ not mentioned at all?