Is a classification of formal languages or grammars into four levels based on their generative or expressive power. These levels are regular, context-free, context-sensitive, and recursively enumerable. Context-free grammars belong to the second level of this hierarchy.