Generative grammar

A formal system that can generate and generate all the sentences that belong to a language.