in linguistics, a grammar that attempts to find a set of transformations for generating an infinite number of possible sentences