The Chomsky hierarchy is a classification of formal languages based on the type of grammar used to generate them.