languages Definition Monotone Grammar A grammar is called monotone if for all productions α→β the following holds: ∀(α→β)∈P:∣α∣≤∣β∣