A type of formal grammar, where every rule has a single symbol as its left-hand side, and a sequence of symbols as its right-hand side.
A type of formal grammar, where every rule has a single symbol as its left-hand side, and a sequence of symbols as its right-hand side.