Elements defining formal grammars.