La jerarquia de llengües de Chomsky és un sistema de classificació que classifica les gramàtiques formals en funció del seu poder generatiu. Va ser proposat per Noam Chomsky, un reconegut lingüista i informàtic, als anys 1950. La jerarquia consta de quatre nivells, cadascun representant una classe diferent de llenguatges formals. Aquests nivells es coneixen com a tipus 3 (regular), tipus 2