Chomsky-hierarkiet af sprog er et klassifikationssystem, der kategoriserer formelle grammatikker baseret på deres generative kraft. Det blev foreslået af Noam Chomsky, en kendt lingvist og datalog, i 1950'erne. Hierarkiet består af fire niveauer, der hver repræsenterer en anden klasse af formelle sprog. Disse niveauer er kendt som Type-3 (Regular), Type-2