Chomského hierarchia jazykov je klasifikačný systém, ktorý kategorizuje formálne gramatiky na základe ich generatívnej sily. Navrhol to Noam Chomsky, uznávaný lingvista a počítačový vedec, v 1950. rokoch minulého storočia. Hierarchia pozostáva zo štyroch úrovní, z ktorých každá predstavuje inú triedu formálnych jazykov. Tieto úrovne sú známe ako Type-3 (Regular), Type-2