Left-Derivation Bounded Languages

Left-derivation bounded languages are defined as those languages defined from context-free grammars by placing a bound on the number of nonterminals appearing in left-derivations. These languages are generated by left-derivation bounded grammars and form a full AFL not closed under reversal. The left-derivation bounded languages properly contain the nonterminal bounded languages and are properly contained in the derivation bounded languages.