 It is also named after Marcel-Paul Schützenberger, who played a crucial role in the development of the theory of formal languages.A formal grammar of this type consists of a finite set of "production rules" ("left-hand side" → "right-hand side"), where each side consists of a finite sequence of the following symbols