section_heading: Alternativna definicija
paragraph_text: Druga definicija kontekstno ovisnih gramatika ih definira kao formalne gramatike s ograničenjem da za sva pravila α&nbsp;->&nbsp;β u P vrijedi |α|&nbsp;≤&nbsp;|β| pri čemu je |α| duljina niza znakova α. Takva gramatika se još zove i monotona ili nekontraktirajuća gramatika pošto nijedna od njenih produkcija ne smanjuje duljinu prepisanog niza znakova.