Chomsky Hierarchy – Computerphile

The Chomsky hierarchy is a collection of four classes of formal languages, each of which is a proper subset of the classes above it, and each of which corresponds to both a generating grammar and to a recognizing machine.