A classification of formal grammars used in linguistics and computer science, with increasing levels of complexity.