De Chomsky-hiërarchie is een concept uit de theoretische informatica. Noam Chomsky bekeek grammatica's van gewone taal en deelde ze in in vier niveaus, genummerd van 0 tot 3.

Groep 0 bestaat uit reguliere uitdrukkingen zonder beperkingen, terwijl de groepen 1 tot en met 3 beperkingen bevatten. Grammatica's in hoger genummerde niveaus voldoen ook aan de beperkingen van alle niveaus eronder. Het concept is ontwikkeld in de jaren 1950.