 Noncontracting grammar

Noncontracting grammar is a term related to a type of formal grammar in the field of computer science and computational linguistics. It describes a specific class of grammar where the production rules do not allow certain kinds of reductions or contractions of strings. In simpler terms, in noncontracting grammars, the length of the string produced by the grammar does not decrease; it either stays the same or increases with each application of a production rule.