Chomskyn hierarkia on tunnetuin järjestelmä formaaleja kieliä tuottavien formaalien kielioppien luokittelemiseen. Kieliopit muodostavat järjestelmässä hierarkian, jossa yksinkertaisempi kielioppi on myös yleisemmän luokan mukainen kielioppi.

Hierarkian portaat ovat:

• Säännölliset kielet (Regular languages), jotka voidaan tunnistaa äärellisillä automaateilla. Yksinkertaisin luokka.
• Yhteydettömät kielet (yhteysriippumattomat tai kontekstittomat kielet, Context-free languages), tunnistamiseen riittää pinoautomaatti.
• Yhteysherkät kielet (kontekstiherkät kielet, Context-sensitive languages), voidaan tunnistaa lineaarisesti rajoitetulla automaatilla.
• Rekursiivisesti numeroituvat kielet (rekursiivisesti lueteltavat kielet tai yleiset kielet, Recursively enumerable languages), voidaan tunnistaa Turingin koneella. Yleisin luokka.

Suomennokset ovat vakiintumattomia.

Chomskyn hierarkia on nimetty sen kehittäjän, amerikkalaisen kielitieteilijän professori Noam Chomskyn mukaan.

Formaalit kielet

Chomsky-hiërargie | Йерархия на Чомски | Chomského hierarchie | Chomsky-Hierarchie | Chomsky–Schützenberger hierarchy | Jerarquía de Chomsky | Hiérarchie de Chomsky | 촘스키 위계 | Gerarchia di Chomsky | チョムスキー階層 | Hierarchia Chomsky'ego | Hierarquia de Chomsky | Ierarhia Chomsky | Chomského hierarchia | 乔姆斯基谱系