Hierarhija jezikov Chomskyja je klasifikacijski sistem, ki kategorizira formalne slovnice na podlagi njihove generativne moči. Predlagal ga je Noam Chomsky, priznani jezikoslovec in računalničar, v petdesetih letih prejšnjega stoletja. Hierarhijo sestavljajo štiri ravni, od katerih vsaka predstavlja drug razred formalnih jezikov. Te ravni so znane kot tip-1950 (običajni), tip-3