Chomskyjeva hijerarhija jezika je sustav klasifikacije koji kategorizira formalne gramatike na temelju njihove generativne moći. Predložio ga je Noam Chomsky, poznati lingvist i računalni znanstvenik, 1950-ih. Hijerarhija se sastoji od četiri razine, od kojih svaka predstavlja drugu klasu formalnih jezika. Ove razine poznate su kao Tip-3 (Regular), Tip-2