Generalized forbidding grammars
Alexander Meduna · International Journal of Computer Mathematics · 1990
Each production of a generalized forbidding grammar has an associated finite set of words. Such a production can be applied only if none of its associated words is a substring of a given rewritten sentential form. It is shown that these grammars with productions having associated only words consisting of one or two symbols characterize type 0 languages